Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier

Rust Linux-compatible kernel

The power tool for Jujutsu + GitHub workflows

Maple Mono: Open source monospace font with round corner, ligatures and Nerd-Font icons for IDE and terminal, fine-grained customization options. 带连字和控制台图标的圆角等宽字体，中英文宽度完美2:1，细粒度的自定义选项

A Rust/WASM implementation of homotopy.io

ShellCheck, a static analysis tool for shell scripts

Pulumi - Infrastructure as Code in any programming language 🚀

Automation engine to build, test and ship any codebase. Runs locally, in CI, or directly in the cloud

"The mother of all demo apps" — Exemplary fullstack Medium.com clone powered by React, Angular, Node, Django, and many more

Fil-C: completely compatible memory safety for C and C++

Easy PureScript (and other tools) with Nix

Lisp Flavoured Erlang (LFE)

Zotero plugin to automatically move attachments and link them

Text UI for Jujutsu based on fzf, centering around the jj log with key bindings for common operations

Emulator for rapid prototyping of Software Defined Networks

Fast library for rendering HTML in Clojure

The Pants Build System

💯 A collection of Gleam libraries, projects, and resources

A prompt engineering functional programming language

DSPy: The framework for programming—not prompting—language models

The Postgres development platform. Supabase gives you a dedicated Postgres database to build your web, mobile, and AI applications.

REST API for any Postgres database

Modern UI and powerful API for Ansible, Terraform/OpenTofu/Terragrunt, PowerShell and other DevOps tools.

Staged programming for Rust. Write type-safe proc macros and high-level APIs that generate efficient code.

An ergonomic and safe syscall interception framework for Linux.

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…

A curated list of awesome deterministic simulation testing resources 😎

Optics as an abstract interface

A modern step-through debugger for GHC Haskell

Hardcaml is an OCaml library for designing hardware.