Highlights
- All languages
- ATS
- ActionScript
- Agda
- Arc
- Assembly
- Astro
- Ballerina
- Brainfuck
- Bru
- C
- C#
- C++
- CMake
- COBOL
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Cython
- DCPU-16 ASM
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Factor
- Fennel
- Flix
- Forth
- Fortran
- Frege
- Futhark
- GDScript
- Gleam
- Go
- HTML
- Hack
- Handlebars
- Haskell
- Haxe
- HolyC
- Idris
- Isabelle
- JSON
- Jai
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- LigoLANG
- Lua
- M4
- Makefile
- Markdown
- Move
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- Oz
- PHP
- Pascal
- Perl
- Processing
- Prolog
- Pure Data
- PureScript
- Python
- Racket
- Raku
- ReScript
- Reason
- Red
- Ren'Py
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- SVG
- Scala
- Scheme
- Shell
- Smalltalk
- Standard ML
- Swift
- TLA
- TeX
- TypeScript
- UrWeb
- Vala
- Vim Script
- Visual Basic
- Vue
- WebAssembly
- Wren
- Yacc
- ZIL
- Zig
Starred repositories
Examples of computing over encrypted or private data
Common interface for tracing/instrumentation libraries in OCaml
A minimal Emacs client for the Lichess API
A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
Emacs port of GitGutter which is Sublime Text Plugin
A set of data models that can be used with YOCaml to build rich pages
Rust-like syntax for WebAssembly featuring a full toolchain for conversion, type-checking, and auto-formatting.
Language server and VS Code extension for Menhir and Ocamllex
SS2025 — ✨ Personal site & portfolio for creative developer Henry Desroches
💌 Bitmapped programming font, based on Tamsyn
directories is an OCaml library that provides configuration, cache and data paths (and more!) following the suitable conventions on Linux, macOS and Windows. The following conventions are used: XDG…
Libraries and code (ASM) for Gameboy (DMG)
Old-school audio player with decent music library management
A simple unikernel which provides a search engine from an emails archive