hargoniX/lean-hm

Stars
3
Rank 3,963,521 (Top 79 %)
Language Lean
License
GNU General Publi...
Created about 3 years ago
Updated about 3 years ago

hargoniX/lean-hm

hargoniX

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A lean 4 formalization of stuff I learned in uni.

keepassxc-proxy-client

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

socket.lean

sockets for Lean 4

cpdt-lean

Lean implementations of things found in Certified Programming with Dependent Types

Flame

hm-asm

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

nest-core

pfmt

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

yanp

Yet Another NMEA Parser

dotfiles

My dotfiles, managed with dotdrop

stm32h7x3-hal

A hal for the stm32h7x3 chip family

irssi-wire

A Wire implementation, written in Rust for irssi

mumble-rs

Mumble client framework written in Rust.

crup

A Checker for RUP proofs written in Lean 4

nest-slimcheck

OV5640

A rust driver for the OV5640 camera board

flake8-terningkast

gkbp

Generate Keyboard Binding Pictures

irssi-sys

Rust bindings to irssi

holtek-bare-metal-c

Bare Metal C for Holtek

nest-unit

Cpa.lean

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

at42qt1070

Driver for the at42qt1070 written in rust

lean4-statvfs

A statvfs FFI API for Lean 4

lean-monads

A formalization of Monads and friends in Lean4

DarkSpiritz

A penetration testing framework for UNIX systems.

sense-hat-emu

openiked-copr

Upstreamed to Fedora at https://src.fedoraproject.org/rpms/openiked

st

lean-cube

Theories in Lean for various calculi from the lambda cube.

obvious

A (for now) logic prover I made for fun because...uni basically.