- All languages
- ANTLR
- APL
- ActionScript
- Ada
- Arc
- Assembly
- BASIC
- BQN
- Boogie
- C
- C#
- C++
- CMake
- CSS
- Chapel
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- D
- Dafny
- Dylan
- Elixir
- Erlang
- F#
- F*
- Fortran
- Futhark
- GAP
- Gnuplot
- Go
- HTML
- Hack
- Haskell
- Haxe
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Limbo
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Mathematica
- Max
- Mercury
- Mustache
- Nemerle
- Nim
- OCaml
- Objective-C
- Objective-C++
- OpenEdge ABL
- Oz
- PHP
- Pascal
- Perl
- Pony
- PowerShell
- Processing
- Prolog
- Python
- Racket
- ReScript
- Reason
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Self
- Shell
- SmPL
- Smalltalk
- Swift
- SystemVerilog
- TLA
- TSQL
- Tcl
- TeX
- TypeScript
- TypeSpec
- Typst
- VHDL
- Verilog
- Vim Script
- Visual Basic
- WebAssembly
- ZAP
- ZIL
- Zig
- q
- sed
Starred repositories
♾️ Helix is a private GenAI stack for building AI agents with declarative pipelines, knowledge (RAG), API bindings, and first-class testing.
A simple tutorial about how to use the CIL compiler frontend
Public repository of the QuickJS Javascript Engine.
Public repository of the Micro QuickJS Javascript Engine
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
The cee-scape crate provides access in Rust to `setjmp` and `sigsetjmp` functionality.
Tool to produce, store and analyze performance data of SILO and perhaps later LAPIS?
An opinionated tree-sitter + tree-sitter-highlight + grammars bundle
A double-to-string conversion algorithm based on Schubfach and yy
World's fastest generic CRC calculator for all known CRC-16, CRC-32, and CRC-64 variants, as well as bring-your-own custom parameters, using SIMD intrinsics, which can exceed 100GiB/s on modern sys…
A SIMD-accelerated concurrent hash table.
Language for high-assurance and high-speed cryptography
⚗️ | System F-ω pure functional language with deterministic, GC-free memory via Interaction Nets and automatic parallelism.
cargo subcommand showing the assembly or llvm-ir generated for Rust code
Fast and beautiful note-taking app written in C++. Write down your thoughts.
A library for building dynamic terminal apps, using bonsai
A fast, zero-copy EDN (Extensible Data Notation) reader written in C11 with SIMD acceleration.