ripgrep recursively searches directories for a regex pattern while respecting your gitignore

A modern alternative to ls

A smarter cd command. Supports all major shells.

Beautiful, Modern & Opinionated Linux

A menagerie of cute implementations of modern typechecking algorithms

OCaml promises and concurrent I/O

🌸 A command-line fuzzy finder

A Yojson codec generator for OCaml.

Powerful menu bar manager for macOS

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

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…

Static program analysis for TIP

Syntax extension for writing in-line tests in ocaml code

A small C compiler

mold: A Modern Linker 🦠

Learn make by example

An improved OCaml docset for Dash.

🖥 Control your display's brightness & volume on your Mac as if it was a native Apple Display. Use Apple Keyboard keys or custom shortcuts. Shows the native macOS OSDs.

🔍🐟 Fzf plugin for Fish

Alfred workflow for Chrome history

OCaml debug adapter

Low-level JSON parsing and pretty-printing library for OCaml

Compiler from OCaml to Javascript.

Javalib is a library to access and manipulate Java class files from OCaml.

Jane Street Capital's standard library overlay

A virtual machine for executing programs written in Hack.

a structural diff that understands syntax 🟥🟩

⭐️ A friendly language for building type-safe, scalable systems!

Type-driven code generation for OCaml