felko

paperproof

Lean theorem proving interface which feels like pen-and-paper proofs.

slipshow

An engine for displaying slips, the next-gen version of slides

broot

A new way to see and navigate directory trees : https://dystroy.org/broot

semantic-cut-elimination

Cut-elimination by Semantic Means

lambda-mu-mu-calculus

Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).

LWM

verso

Lean documentation authoring tool

lean-wf-induct

ghc.nix

Nix (shell) expression for working on GHC

yazi

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

typst.nix

Making typst documents with Nix

boreal

tldraw

SDK for creating whiteboards and canvas experiences on the web.

semantic-preservation

Work in progress. Attempt to prove semantic preservation (forward simulation) for a simple compiler.

diamond-lang

A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.

DrTLAPlus

Dr. TLA+ series - learn an algorithm and protocol, study a specification

packages

Packages for Typst.

capture-calculus.lean

compiler

The adventures of a Haskell compiler

LF

typst-preview

Typst preview extension for VSCode

scryer-prolog

A modern Prolog implementation written mostly in Rust.

lambda-calculus-hs

Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques

haskell-flake

A `flake-parts` Nix module for Haskell development

nixd

Nix language server, based on nix libraries [maintainer=@inclyc]

agregore-browser

A minimal browser for the distributed web (Desktop version)

devenv

Fast, Declarative, Reproducible, and Composable Developer Environments

lean4-metaprogramming-book

ProofWidgets4

Helper toolkit for creating your own Lean 4 UserWidgets

runix

A type-safe Rust interface to the Nix CLI