Pinned Repositories
cpdt-lean
Lean implementations of things found in Certified Programming with Dependent Types
dotfiles
My dotfiles, managed with dotdrop
keepassxc-proxy-client
A client for keepassxc-proxy so passwords can easily be requested via CLI
Leanwuzla
Connecting Bitwuzla to LeanSAT
socket.lean
sockets for Lean 4
doc-gen4
Document Generator for Lean 4
lean4
Lean 4 programming language and theorem prover
leansat
This package provides an interface and foundation for verified SAT reasoning
probe-rs
A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host
stm32h7xx-hal
Peripheral access API for STM32H7 series microcontrollers
hargoniX's Repositories
hargoniX/stm32h7x3-hal
A hal for the stm32h7x3 chip family
hargoniX/flake8-terningkast
hargoniX/irssi-sys
Rust bindings to irssi
hargoniX/OV5640
A rust driver for the OV5640 camera board
hargoniX/DarkSpiritz
A penetration testing framework for UNIX systems.
hargoniX/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
hargoniX/Hello-World
Hello World in all possible programmnig languages
hargoniX/Algorithms
hargoniX/atom-discord
Integrate with Discord and show Rich Presence information.
hargoniX/awesome-embedded-rust
Curated list of resources for Embedded and Low-level development in the Rust programming language
hargoniX/bno055
Device-agnostic Bosch Sensortec BNO055 9-axis Sensor Fusion IMU driver
hargoniX/bot
Source code for our Discord bot
hargoniX/BS
BS Zeugs (Bullshit mostly)
hargoniX/code-jam-1
Our first code jam - March 2018
hargoniX/dotdrop
Save your dotfiles once, deploy them everywhere
hargoniX/Eel
A little Python library for making simple Electron-like HTML/JS GUI apps
hargoniX/get-mac
Pure-Python module to just get a gosh darn MAC address
hargoniX/holdem
:black_joker: OpenAI Gym No Limit Texas Hold 'em Environment for Reinforcement Learning
hargoniX/inkscape2servo
A small rust cli which converts gcode generated by inkscape into gcode that can be used by the grbl fork of mine
hargoniX/markov-python
A simple implementation of nth order markov chains in python.
hargoniX/MemeKernel-Generator
hargoniX/python-mcparseface
Python McParseface: A way to call Parsey McParseface programmatically in Python
hargoniX/rust-analyzer
An experimental Rust compiler front-end for IDEs
hargoniX/site
Open-source code for our website
hargoniX/SnekChek
A tool that aims to combine all python CQA tools into one highly customizable tool
hargoniX/spi-memory
An embedded-hal driver for various SPI Flash and EEPROM chips
hargoniX/yoda
Wise and powerful personal assistant, available in your nearest terminal