Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by hargoniX
A curated list of projects in awesome lists by hargoniX .
https://github.com/hargonix/cpdt-lean
Lean implementations of things found in Certified Programming with Dependent Types
Last synced: 19 Nov 2024
https://github.com/hargoniX/cpdt-lean
Lean implementations of things found in Certified Programming with Dependent Types
Last synced: 29 Nov 2024
https://github.com/hargonix/hm-asm
A small assembler I wrote for use with the microprocessor from the Book "Grundlagen der Technische Informatik"
Last synced: 12 Oct 2024
https://github.com/hargonix/lean-hm
A lean 4 formalization of stuff I learned in uni.
Last synced: 19 Nov 2024
https://github.com/hargonix/mumble-rs
Mumble client framework written in Rust.
Last synced: 19 Nov 2024
https://github.com/hargonix/irssi-wire
A Wire implementation, written in Rust for irssi
Last synced: 19 Nov 2024
https://github.com/hargonix/ov5640
A rust driver for the OV5640 camera board
Last synced: 19 Nov 2024
https://github.com/hargonix/crup
A Checker for RUP proofs written in Lean 4
Last synced: 19 Nov 2024
https://github.com/hargonix/flake8-terningkast
flake8 linter plugin python terningkast
Last synced: 19 Nov 2024
https://github.com/hargoniX/obvious
A (for now) logic prover I made for fun because...uni basically.
Last synced: 15 Nov 2024
https://github.com/hargonix/at42qt1070
Driver for the at42qt1070 written in rust
Last synced: 19 Nov 2024
https://github.com/hargonix/obvious
A (for now) logic prover I made for fun because...uni basically.
Last synced: 19 Nov 2024
https://github.com/hargonix/cpa.lean
An implementation of Configurable Program Analysis in Lean for a univeristy project
Last synced: 19 Nov 2024
https://github.com/hargonix/lean-monads
A formalization of Monads and friends in Lean4
Last synced: 19 Nov 2024
https://github.com/hargonix/lean-cube
Theories in Lean for various calculi from the lambda cube.
formal-verification lambda-calculus lambda-cube lean4
Last synced: 19 Nov 2024
https://github.com/hargonix/decision
A formalisation of https://www.decision-procedures.org/
Last synced: 19 Nov 2024
https://github.com/hargonix/lehmer-rs
An implementation of Lehmer RNGs for a university project.
Last synced: 19 Nov 2024
https://github.com/hargonix/fil-rb
A Red-Black-Tree Formalisation for LMU's Formalisation in Lean 2024
Last synced: 13 Dec 2024
https://github.com/hargonix/mini-scheme
Small educational project to learn parsec and monads.
Last synced: 19 Nov 2024
https://github.com/hargonix/lean4-fixed
A (WIP) port of Haskell's Data.Fixed library to lean4
Last synced: 19 Nov 2024
https://github.com/hargonix/malcpp
A C++ implementation of kanaka/mal for educational purposes
Last synced: 19 Nov 2024
https://github.com/hargonix/vmb-rs
A Rust implementation of the Virtual Mother Board since it doesn't fully run on UNIX but I want it to.
Last synced: 19 Nov 2024
https://github.com/hargonix/lean4-time
A (WIP) port of Haskell's time library to lean4
Last synced: 19 Nov 2024
https://github.com/hargonix/inkscape2servo
A small rust cli which converts gcode generated by inkscape into gcode that can be used by the grbl fork of mine
Last synced: 19 Nov 2024