ammkrn

nanoda_lib

Library implementing type inference/checking functionality based on the Lean theorem prover

type_checking_in_lean4

Type Checking in Lean 4

timelib

A date and time library for Lean 4

printiest

A pretty printer for Lean 4

second_opinion

mathlib4-docs-ja

Mathlib4 docs の和訳リポジトリ

aesop

White-box automation for Lean 4

ascent

logic programming in Rust

catala

Programming language for literate programming law specification

dada

I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and everybody practices his art in his own way.

edit

helix

A post-modern modal text editor.

lake

Lean 4 build system and package manager with configuration files written in Lean.

lean4

Lean 4 programming language and theorem prover

lean4export

Plain-text declaration export for Lean 4

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

mathlib4

Work in progress mathlib port for lean 4

mm0

Metamath Zero specification language

nushell

A new type of shell

nushell.github.io

Nushell's main website, blog, book, and more

polars-book

Book documentation of the Polars DataFrame library

ropey

A utf8 text rope for manipulating and editing large texts.

rust-analyzer

A Rust compiler front-end for IDEs

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

std4

Standard Library for Lean 4

taxing_digital_losses

Repository for the paper "Taxing Digital Asset Losses"

theorem_proving_in_lean4

Theorem Proving in Lean 4

ungrammar

webview_bug_demo

for vscode issue #130752

zero-to-nix

Zero to Nix is your guide to learning Nix and flakes. Created by Determinate Systems.