- All languages
- Agda
- Alloy
- Astro
- BibTeX Style
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- D
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- Fennel
- Flix
- Fluent
- Fortran
- GLSL
- Go
- HTML
- Handlebars
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MDX
- Makefile
- Markdown
- MiniZinc
- Nim
- Nix
- OCaml
- Odin
- Oz
- Perl
- Prolog
- Python
- R
- RMarkdown
- Racket
- ReScript
- Rez
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Smalltalk
- Standard ML
- StringTemplate
- TLA
- TeX
- Tree-sitter Query
- TypeScript
- V
- Vala
- Vim Script
- Vue
- Zig
Starred repositories
Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"
Migrate to PostgreSQL in a single command!
Common Lisp Koans is a language learning exercise in the same vein as the ruby koans, python koans and others. It is a port of the prior koans with some modifications to highlight lisp-specific fea…
General-purpose editor/IDE with high expansibility in Common Lisp
The Superior Lisp Interaction Mode for Emacs
intended to be a launcher for a major lisp environment that just works.
A fast non-blocking HTTP server on top of libev
A project-local library installer for Common Lisp
The main repo for the Medley Interlisp project. Wiki, Issues are here. Other repositories include maiko (the VM implementation) and Interlisp.github.io (web site sources)
Common Lisp implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
ACL2 System and Books as Maintained by the Community
An ORM for Common Lisp with migrations, relationships and PostgreSQL support
An OCI-based ASDF system distribution and management tool for Common Lisp
SLT is an IDE Plugin for Itellij/Jetbrains IDE lineup implementing support for Common Lisp via Slime/Swank and supported lisp interpret.
A Common Lisp interface to OpenSSL / LibreSSL
Common Lisp library implementation of the SF3 file formats.