Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.

High performance UI layout library in C.

Source code for the Chrome and Firefox versions of the Kagi Privacy Pass browser extension

Gerbil Scheme

The complete codebase for Frame

Forsp: A Forth+Lisp Hybrid Lambda Calculus Language

A C Compiler that fits in the 512 byte boot sector of an x86 machine

clasp Common Lisp environment

Minimal operating system for x86 intended as a basis for benchmarking and running Gambit

A Haskell library that simplifies access to remote data, such as databases or web-based services.

krata is a Xen control plane in Rust.

Low-level unprivileged sandboxing tool used by Flatpak and similar projects

Aquamarine is a very light linux rendering backend library

Coq to Rust program extraction. The whole tree is on the original Coq code base.

A library for building dynamic webapps, using Js_of_ocaml

The official Neovim plugin for Supermaven

Example use of ts2ocaml

Melange binding repository for popular JavaScript libraries

Generate OCaml bindings from TypeScript definitions via the TypeScript compiler API

Sample project to demonstrate how to use the VS Code API with OCaml

OCaml bindings for the Neovim API

The modern desktop environment for everyone on anything

A Nix-channel-compatible package search

Truly independent web browser

Stop writing schemas, start writing code.

The Mikoto Monorepo