NASA PVS Library of Formal Developments
Repository Index
47,133 repositories indexed
25–48 of 165 · Most stars
A JIT Compiler and Runtime for Java in Common Lisp
Asynchronous IO library for Common Lisp.
cl-opengl is a set of CFFI bindings to the OpenGL, GLU and GLUT APIs.
:trident: CommonCrypto in Swift, and more
- commoncrypto
- swift
Common Lisp to JavaScript compiler
GTK4/Libadwaita/WebKit2 bindings for Common Lisp.
Call python from Common Lisp
- common-lisp
- python
Parallelism for Common Lisp
Sento - Actor framework featuring actors and agents for easy access to state and asynchronous operations.
- common-lisp
- concurrency
- genserver
- actor
High performance Transactional Memory for Common Lisp
Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
[wip] Deep Learning Compiler based on Polyhedral Compiler, Light-weight IRs, and Optimizing Pattern Matcher. (development is on hold)
Lisp to GLSL Language Translator
Lispbuilder provides a range of libraries for developing useful portable Common Lisp applications
More up-to-date version of cl-charms. Forked it because it was, apparently, abandoned by author and I couldn't contact him.
Portable channel-based concurrency for Common Lisp
OM#: Visual Programming | Computer-assisted Music Compositon
Common Lisp port of the Django templating language
- template-engine
- html-template
- lisp
- common-lisp
A fast regular expression compiler in Common Lisp
A common cross-platform GUI library, the core uses Lazarus LCL.
- go
- govcl
- gui
- liblcl
Transducers: Ergonomic, efficient data processing.
- functional-programming
- lisp
- transducers
Common Lisp .Net Core Interop
- common-lisp
- dotnet-core
- dotnet
- dotnetcore
Common Lisp CFFI bindings to the IUP Portable User Interface library (pre-ALPHA)
- common-lisp
- cffi
- gui
- iup