Stars
Mirror of https://gitlab.redox-os.org/redox-os/redox
Verilator open-source SystemVerilog simulator and lint system
ArduPlane, ArduCopter, ArduRover, ArduSub source
Empowering everyone to build reliable and efficient software.
The Haiku operating system. (Pull requests will be ignored; patches may be sent to https://review.haiku-os.org).
Elixir is a dynamic, functional language for building scalable and maintainable applications
A cross platform library for interfacing with local and remote Linux IIO devices
A Common Lisp framework for the creation of electronic art, visual design, game prototyping, game making, computer graphics, exploration of human-computer interaction, and more.
A library and language for building parsers, interpreters, compilers, etc.
A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
UNIX-like reverse engineering framework and command-line toolset
Efficiently computes derivatives of NumPy code.
The fastest and most memory efficient lattice Boltzmann CFD software, running on all GPUs and CPUs via OpenCL. Free for non-commercial use.
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
Small footprint and configurable PCIe core
A powerful Python framework for writing and running portable regression tests and benchmarks for HPC systems.
Open source Structure-from-Motion pipeline
CUDA Templates and Python DSLs for High-Performance Linear Algebra