Stars
In-browser code editor (version 5, legacy)
Adds static typing to JavaScript to improve developer productivity and code quality.
A static analyzer for Java, C, C++, and Objective-C
A modern, portable, easy to use crypto library.
A Virtual DOM and diffing algorithm
A toolkit for building secure, portable and lean operating systems for containers
The core OCaml system: compilers, runtime system, base libraries
The reference implementation of the Linux FUSE (Filesystem in Userspace) interface
FUSE filesystem over Google Drive
Hasklig - a code font with monospaced ligatures
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
Lightweight and customizable notification daemon
A toolkit for embedding hypervisor capabilities in your application
A toolkit for orchestrating distributed systems at any scale. It includes primitives for node discovery, raft-based consensus, task scheduling and more.
An image effects library for JavaScript using WebGL
Procedural Noise Shader Routines compatible with WebGL
MirageOS is a library operating system that constructs unikernels
Auto-detect the connected display hardware and load the appropriate X11 setup using xrandr
A node.js-style module system for GLSL! ✨
MathBox is a (work in progress) library for making presentation-quality math diagrams in WebGL.
Irmin is a distributed database that follows the same design principles as Git
GLSL optimizer based on Mesa's GLSL compiler. Used to be used in Unity for mobile shader optimization.
Context sensitive completion for OCaml in Vim and Emacs