#
Lists (16)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- ASP
- ActionScript
- Ada
- Assembly
- Batchfile
- Bicep
- Bikeshed
- Bluespec
- Boogie
- C
- C#
- C++
- CSS
- Chapel
- Common Lisp
- Component Pascal
- Coq
- Cuda
- D
- Dart
- Dockerfile
- Emacs Lisp
- Flix
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- M
- M4
- MLIR
- Makefile
- Markdown
- Modula-2
- Mojo
- Nim
- Nix
- OCaml
- Objective-C
- PHP
- POV-Ray SDL
- Pascal
- Perl
- PostScript
- PowerShell
- Processing
- Python
- R
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SMT
- Sail
- SaltStack
- Scala
- Scheme
- Shell
- Smali
- Smalltalk
- Swift
- SystemVerilog
- Tcl
- TeX
- TypeScript
- V
- VHDL
- Verilog
- XSLT
- Zig
Starred repositories
4
stars
written in Common Lisp
Clear filter
ACL2 System and Books as Maintained by the Community
Programmatic modification and evaluation of software
Grammar of Rusyn in HPSG (LKB toolkit with Grammar Matrix)