Discover @hargoniX Open Source projects

Henrik Böving (@hargoniX)

hargoniX

Stars
141
Global Rank 161,142 (Top 6 %)
Followers 116
Following 118
Registered about 7 years ago
Most used languages

Lean 38.7 %

Rust
29.0 %

Python
12.9 %

C
9.7 %

Assembly
3.2 %

Shell
3.2 %

Vim Script
3.2 %
Location 🇩🇪 Germany
Country Total Rank 13,312
Country Ranking

Lean 5

Assembly
294

Vim Script
318

Rust
657

Python
3,377

C
4,040

Shell
7,469

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

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.