hargoniX

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.

gkbp

Generate Keyboard Binding Pictures

lean-monads

A formalization of Monads and friends in Lean4

lean4-statvfs

A statvfs FFI API for Lean 4

openiked-copr

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

st

hbv's st build

backtrace-rs

Backtraces in Rust

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.

ioctl

Helpers for binding ioctls in Rust

lean-ink-bug

lean4-c-bug

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

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

microbit

A Rust crate for BBC micro:bit development

mini-scheme

Small educational project to learn parsec and monads.

nrf-hal

A Rust HAL for the nRF family of devices

obsd-src

Public git conversion mirror of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.

ocaml-typed

A STLC in OCaml

remarkable-stuff

rust-openssl

OpenSSL bindings for Rust

rust-tun

TUN device creation and handling.

rustup

The Rust toolchain installer

udpencap-rs

yasnippet-snippets

a collection of yasnippet snippets for many languages