- All languages
- Assembly
- C
- C#
- C++
- COBOL
- Clojure
- Common Lisp
- Coq
- Crystal
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F*
- Fennel
- GDScript
- Gleam
- Go
- HTML
- Haskell
- Haxe
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Just
- Kotlin
- Lean
- Lua
- Makefile
- Markdown
- Nim
- OCaml
- Objective-C
- Odin
- PHP
- Pascal
- PowerShell
- PureScript
- Python
- Racket
- Roc
- Rust
- Shell
- Svelte
- Swift
- TeX
- TypeScript
- Typst
- V
- Vala
- Vim Script
- WGSL
- Zig
Starred repositories
LTeX Language Server: LSP language server for LanguageTool 🔍✔️ with support for LaTeX 🎓, Markdown 📝, and others
Agda lecture notes for the Functional Programming course at TU Delft
C++ solution and demonstration of the Santa Claus concurrency problem
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Borgo is a statically typed language that compiles to Go.
A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
Lunatic is an Erlang-inspired runtime for WebAssembly
Rhai - An embedded scripting language for Rust.
Dataframes powered by a multithreaded, vectorized query engine, written in Rust
Experiments in building "better" languages and tools; for some measure of better.
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
An actor-based Framework with network transparency for creating event-driven architecture in Golang. Inspired by Erlang. Zero dependencies.
Painless peer-to-peer WebRTC networking for rust wasm (and native!)
Distributed Stockfish analysis for lichess.org
Sync little subsets of your Postgres data into local apps and services.
Native, fast starting Clojure interpreter for scripting
DAP server for debugging Clojure over nREPL with CIDER's debugger
Luanti (formerly Minetest) is an open source voxel game-creation platform with easy modding and game creation
Interactive evaluation for Neovim (Clojure, Fennel, Janet, Racket, Hy, MIT Scheme, Guile, Python and more!)
Extendable version manager with support for Ruby, Node.js, Elixir, Erlang & more