Documentation compiler for OCaml and Reason

Community-driven Nix Flake for the Zen browser

OCaml - Oxidized!

Staging repo for development of native port of TypeScript

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

Write your own virtual machine for the LC-3 computer!

An HTTP proxy library for Go

A high performance memory-bound Go cache

The Go programming language

An HTTP proxy library for Go

A Cloud Native Batch System (Project under CNCF)

🎨 user interfaces for react-three-fiber