hargonix Goto Github PK

algorithms

at42qt1070

Driver for the at42qt1070 written in rust

atom-discord

Integrate with Discord and show Rich Presence information.

awesome-embedded-rust

Curated list of resources for Embedded and Low-level development in the Rust programming language

bachelor

My Bachelor Thesis

backtrace-rs

Backtraces in Rust

bno055

Device-agnostic Bosch Sensortec BNO055 9-axis Sensor Fusion IMU driver

book

Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devices

bot

Source code for our Discord bot

bs

BS Zeugs (Bullshit mostly)

cmark.lean

cnn-for-sequential-text

code-jam-1

Our first code jam - March 2018

cpa.lean

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

cpdt-lean

Lean implementations of things found in Certified Programming with Dependent Types

crup

A Checker for RUP proofs written in Lean 4

darkspiritz

A penetration testing framework for UNIX systems.

decision

A formalisation of https://www.decision-procedures.org/

doc-gen4

Document Generator for Lean 4

dotdrop

Save your dotfiles once, deploy them everywhere

dotfiles

My dotfiles, managed with dotdrop

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.

eel

A little Python library for making simple Electron-like HTML/JS GUI apps

flake8-terningkast

flame

functional-benchmarks

Collection of benchmarks of functional programming languages and proof assistants.

get-mac

Pure-Python module to just get a gosh darn MAC address

gkbp

Generate Keyboard Binding Pictures

glimpseoflean

An introduction to theorem proving in Lean for the impatient.

grbl

An open source, embedded, high performance g-code-parser and CNC milling controller written in optimized C that will run on a straight Arduino