A fun little TUI framework for OCaml

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

The Elegant Parser

Split your file into encrypted fragments so that you don't need to remember a passcode

The fastest way to develop full-stack web apps with React & Node.js.

A system for precise, efficient resource management across every domain and resource type.

Open source game built in SwiftUI and the Composable Architecture.

Tool for Mina Protocol

A library for building applications in a consistent and understandable way, with composition, testing, and ergonomics in mind.

🏛 Functional Architecture in Swift using Bow

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

A tiling window manager for macOS based on binary space partitioning

A formatter for Haskell source code

Build terminal user interfaces and dashboards using Rust

libvim: The core Vim editing engine as a minimal C library

🌾 Harvest: Apple's Combine.framework + State Machine, inspired by Elm.

A high-level assembly language for writing homebrew software and games on retro console platforms.

A standard library with the same API in F#, Rescript and OCaml

Zero-cost functional reactive Signals for Rust

The video editor built for screencasters

Build your own personal finance analytics using Plaid, Google Sheets and CircleCI.

Hygienic typed literal macros (TLMs) for Reason

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

Components as records of functions for Haskell

A friendly programming language from the future

Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)

A simple, fast and user-friendly alternative to 'find'

A cat(1) clone with wings.