NASA PVS Library of Formal Developments
Repository Index
47,133 repositories indexed
1–5 of 5 · 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
A session management middleware for ningle and clack applications.
- authentication
- clack
- lisp
- web-development