hargoniX

keepassxc-proxy-client

A client for keepassxc-proxy so passwords can easily be requested via CLI

socket.lean

sockets for Lean 4

Flame

nest-core

pfmt

A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf

dotfiles

My dotfiles, managed with dotdrop

crup

A Checker for RUP proofs written in Lean 4

nest-slimcheck

nest-unit

hargoniX.github.io

Build a Jekyll blog in minutes, without touching the command line.

lean-cube

Theories in Lean for various calculi from the lambda cube.

rustl4re

This repository contains patches for the Rust to L4Re OS port. It's a place to gather patches before they find their way in the upstream projects.

lean4

Lean 4 programming language and theorem prover

bachelor

My Bachelor Thesis

CMark.lean

Decision

A formalisation of https://www.decision-procedures.org/

Functional-Benchmarks

Collection of benchmarks of functional programming languages and proof assistants.

GlimpseOfLean

An introduction to theorem proving in Lean for the impatient.

lean.nvim

neovim support for the Lean theorem prover

lean4-alloy

Write C shims from within Lean code.

lean4-cli

A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.

lean4-entemology

Where we collect lean4 bugs

lean4-mode

Emacs major mode for Lean 4

LeanInk

LeanInk is a command line helper tool for Alectryon which aims to ease the integration of 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

rust

Empowering everyone to build reliable and efficient software.

std4

Standard Library for Lean 4

typst-bytefield

bytefield package for typst

Unicode.lean

Unicode stuff for Lean 4! ✌️