Starred repositories
A tracing & telemetry syntax extension for packages like ocaml-opentelemetry.
An unofficial Copilot plugin for Emacs.
blingful character graphics/TUI library. definitely not curses.
A public repository for "Write, Execute, Assess: Program Synthesis With a REPL" project by Kevin Ellis, Max Nye, Yewen Pu, Felix Sosa, Josh Tenenbaum, and Armando Solar-Lezama. Presented at NeurIPS…
Cooperative-threaded access to relational data
Rich is a Python library for rich text and beautiful formatting in the terminal.
Fast, safe and composable streaming abstractions.
general value printing within compiled programs
egg is a flexible, high-performance e-graph library
Program Generator for Small-Scale Linear Algebra Applications
C library for accessing the PostgreSQL parser outside of the server environment
print nested boxes, lists, arrays, tables in several formats
Streisand sets up a new server running your choice of WireGuard, OpenConnect, OpenSSH, OpenVPN, Shadowsocks, sslh, Stunnel, or a Tor bridge. It also generates custom instructions for all of these s…
Luigi is a Python module that helps you build complex pipelines of batch jobs. It handles dependency resolution, workflow management, visualization etc. It also comes with Hadoop support built in.
KaRaMeL is a tool for extracting low-level F* programs to readable C code
Assemble dune workspaces to build your project and its dependencies as a whole
The Illustrated TLS 1.2 Connection: Every byte explained