hargoniX/cpdt-lean

Stars
12
Rank 1,593,704 (Top 32 %)
Language Lean
License
Apache License 2.0
Created over 2 years ago
Updated over 2 years ago

hargoniX/cpdt-lean

hargoniX

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

Lean implementations of things found in Certified Programming with Dependent Types

keepassxc-proxy-client

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

socket.lean

sockets for Lean 4

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

lean-hm

A lean 4 formalization of stuff I learned in uni.

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.