NASA PVS Library of Formal Developments
Repository Index
47,133 repositories indexed
1–8 of 8 · Most stars
[wip] Deep Learning Compiler based on Polyhedral Compiler, Light-weight IRs, and Optimizing Pattern Matcher. (development is on hold)
Common Lisp RESTful web development
SLT is an IDE Plugin for Itellij/Jetbrains IDE lineup implementing support for Common Lisp via Slime/Swank and supported lisp interpret.
- common-lisp
- integrated-development-environment
- intellij-plugin
- jetbrains
PAX, the Common Lisp documentation system
- documentation-generator
- documentation-tools
- illiterate-programming
- common-lisp
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