hargoniX

keepassxc-proxy-client

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

cpdt-lean

Lean implementations of things found in Certified Programming with Dependent Types

hm-asm

A small assembler I wrote for use with the microprocessor from the Book "Grundlagen der Technische Informatik"

doc-gen4

Document Generator for Lean 4

lean-hm

A lean 4 formalization of stuff I learned in uni.

dotfiles

My dotfiles, managed with dotdrop

lean-monads

A formalization of Monads and friends in Lean4

lean-cube

Theories in Lean for various calculi from the lambda cube.

lean4-statvfs

A statvfs FFI API for Lean 4

lean4

Lean 4 programming language and theorem prover

CMark.lean

dtrt-indent

A minor mode that guesses the indentation offset originally used for creating source code files and transparently adjusts the corresponding settings in Emacs, making it more convenient to edit foreign files.

lean-ink-bug

lean4-c-bug

lean4-cli

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

lean4-fixed

A (WIP) port of Haskell's Data.Fixed library to lean4

lean4-metaprogramming-book

lean4-time

A (WIP) port of Haskell's time library to lean4

LeanInk

LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.

lsm303agr-rs

Platform agnostic Rust driver for the LSM303AGR ultra-compact high-performance eCompass module: ultra-low-power 3D accelerometer and 3D magnetometer

malcpp

A C++ implementation of kanaka/mal for educational purposes

mathlib4

Work in progress mathlib port for lean 4

microbit

A Rust crate for BBC micro:bit development

ocaml-typed

A STLC in OCaml

remarkable-stuff

rust

Empowering everyone to build reliable and efficient software.

rust-openssl

OpenSSL bindings for Rust

rustup

The Rust toolchain installer

Unicode.lean

Unicode stuff for Lean 4! ✌️

yasnippet-snippets

a collection of yasnippet snippets for many languages