Stars
Python front-end for the NeXosim simulator
Safety-critical applications oriented Real-Time Operating System written in Rust
High-performance asynchronous computation framework for system simulation
Moved to Codeberg; this is a convenience mirror
edwinb / EpiVM
Forked from avsm/EpiVMEpic - a Supercombinator Compiler
Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.
Mirror of https://gitlab.redox-os.org/redox-os/redox
The Qt port of obconf, the Openbox configuration tool
Bullet Physics SDK: real-time collision detection and multi-physics simulation for VR, games, visual effects, robotics, machine learning etc.
gentoo overlay containing games ebuilds only
Liberator is a Clojure library for building RESTful applications.





