hargoniX

keepassxc-proxy-client

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

socket.lean

sockets for Lean 4

Flame

pfmt

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

nest-core

dotfiles

My dotfiles, managed with dotdrop

crup

A Checker for RUP proofs written in Lean 4

Leanwuzla

Connecting Bitwuzla to LeanSAT

nest-slimcheck

nest-unit

Cpa.lean

An implementation of Configurable Program Analysis in Lean for a univeristy project

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.

SlimCheck

A temporary home for slimcheck

lean4

Lean 4 programming language and theorem prover

lehmer-rs

An implementation of Lehmer RNGs for a university project.

bachelor

My Bachelor Thesis

CMark.lean

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-entemology

Where we collect lean4 bugs

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.

parse.lean-bench

Benchmarkings for parse.lean using a simple subset of HTTP/1.1 with chunked encoding

rust

Empowering everyone to build reliable and efficient software.

std4

Standard Library for Lean 4

typst-bytefield

bytefield package for typst

wg

Coordination repository of the embedded devices Working Group