A Git-compatible VCS that is both simple and powerful

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

A Nix flake for many AI projects

Embeddable Lambda Prolog Interpreter

mold: A Modern Linker 🦠

Run unpatched dynamic binaries on NixOS [maintainer=@Mic92]

a structural diff that understands syntax 🟥🟩

Hey! Hey! Can u rel8?

ChampSim is an open-source trace based simulator maintained at Texas A&M University and through the support of the computer architecture community.

an implementation of stuck macros

build-once run-anywhere c library

A classic Mac loaded with everything you'd want

RR - Railroad Diagram Generator

A legible monospace font... the very typeface you’ve been trained to recognize since childhood

GitQL is a extensible SQL-like query language and SDK to perform queries on various data sources such .git files with supports of most of SQL features such as grouping, ordering and aggregation and…

Provides ability to copy title and URL of selected tabs to the clipboard for Firefox 63 and later.

Logic programming in Rust

Progressively image a mounted disk correctly without corruption

Tool for safe ergonomic Rust/C++ interop driven from existing C++ headers

classical sequent calculus, embedded in Haskell

A fully-modern text-based browser, rendering to TTY and browsers

Precompiled x64 Qt 5/6 library in minimalistic configuration for Windows.

LLVM IR in natural Rust data structures

Staged compilation with dependent types

Browser extension for opening lists of URLs built with Vue.js on top of WebExtension with cross-browser support

a self-hosting lambda calculus compiler

A parser generator for visibly pushdown languages.

Full-featured interfaces for C99

Algebraic data types for C99