NASA PVS Library of Formal Developments
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
[wip] Deep Learning Compiler based on Polyhedral Compiler, Light-weight IRs, and Optimizing Pattern Matcher. (development is on hold)
Common Lisp bindings and interface to the Allegro 5 game programming library
- common-lisp
- game-development
- allegro5
- bindings
A cookiecutter template for Common Lisp videogame projects
- common-lisp
- cookiecutter
- cookiecutter-template
- lisp