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! ✨
Source code for ARM side libraries for interfacing to Raspberry Pi GPU.
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.