Fast, Declarative, Reproducible, and Composable Developer Environments using Nix

A project to digitalise results from physics into Lean.

Chess in Lean 4

Lean4 bindings for raylib

computable implementation of real numbers in Lean4

Python in Lean 4

📚 (WIP) Rewriting Software Foundations in Lean 4

The Lean Computer Science Library (CSLib)

Nix Packages collection & NixOS

Write C shims from within Lean code.

Lean 4 kernel / 'external checker' written in Lean 4

ShellCheck, a static analysis tool for shell scripts

AeroSpace is an i3-like tiling window manager for macOS

NixOS configuration

pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server

An extremely fast Python package and project manager, written in Rust.

A Proof-oriented Programming Language

Modern scientific computing for OCaml

A collection of formalized statements of conjectures in Lean.

A Lean companion to Analysis I

A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)

Lean 4 port of Iris, a higher-order concurrent separation logic framework

Welcome to a calmer internet

Canonical is a performant sound and complete type inhabitation solver for dependent type theory.

This project provides a web application to compare responses from multiple Large Language Models (LLMs) side by side, with automated analysis. It generates a comprehensive HTML report containing th…

The JSesh hieroglyphic editor

Manage your macOS using Nix