Pinned Repositories
libdata
Data storage & transfer & sync protocol
bear_witness
type witness in rust
darkbox.js
Minimalistic, dynamic, content-first javascript library used to overlay images on top of the current page.
gitbot-format
Automagically run clang-format on your PRs
libdata-public
mbedos-maxon-epos4
EPOS4 Motorcontroller CANOpen communication
NordicHack2018
Theft-proof images
serde-redes
arcane serde misuse
tinybeachthor.github.io
my blog
nixcache
Serverless nix cache
tinybeachthor's Repositories
tinybeachthor/bear_witness
type witness in rust
tinybeachthor/serde-redes
arcane serde misuse
tinybeachthor/libdata-public
tinybeachthor/alexandria
Your personal ebook collection manager
tinybeachthor/tinybeachthor.github.io
my blog
tinybeachthor/cmdstanpy-nix
tinybeachthor/csv-processing
tinybeachthor/cv2
tinybeachthor/dream2nix
Nixify software with less effort [maintainer=@DavHau]
tinybeachthor/dream2nix-php-auto
dream2nix auto-generated php packages
tinybeachthor/dream2nix-php-composer-lock
dream2nix translator composer-lock test repo
tinybeachthor/Formality
tinybeachthor/homebridge-vantage
Homebridge driver for Vantage Controls
tinybeachthor/hypercore
Secure, distributed, append-only log
tinybeachthor/i1-templates-8n
tinybeachthor/IPD
New Generation Iterative Prisoner's Dilemma - TUDelft CSE3000 Research Project
tinybeachthor/Kindex
Collection of Kind2 programs and proofs
tinybeachthor/mesa
Mesa is an agent-based modeling framework in Python
tinybeachthor/nature
Easy nix environments
tinybeachthor/nix
tinybeachthor/nixpkgs
Nix Packages collection
tinybeachthor/nur-packages
tinybeachthor/remarkable
tinybeachthor/sparser-bitfield
tinybeachthor/templates
tinybeachthor/tensegrity
tinybeachthor/TLAplus
tinybeachthor/ucboulder-bigdata-final
tinybeachthor/ucboulder-ml-supervised
tinybeachthor/whisper.cpp
Port of OpenAI's Whisper model in C/C++