hargoniX

keepassxc-proxy-client

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

socket.lean

sockets for Lean 4

Leanwuzla

Connecting Bitwuzla to LeanSAT

Flame

pfmt

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

nest-core

crup

A Checker for RUP proofs written in Lean 4

dotfiles

My dotfiles, managed with dotdrop

nest-unit

nest-slimcheck

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.

Cpa.lean

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

hargoniX.github.io

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

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

fil-rb

A Red-Black-Tree Formalisation for LMU's Formalisation in Lean 2024

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.

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.

LeanTogether24BVDecide

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