brezal's repositories
awesome-topological-data-analysis
A collection of topological data analysis links, frameworks, libraries and software. Inspired by awesome projects line.
binance-official-api-docs
Official Documentation for the Binance APIs and Streams
BioCRNPyler
A modular compiler for biological chemical reaction networks
eecs-stem-outreach
Resources for outreach and broadening participation in science, technology, engineering, and mathematics (STEM), including electrical/computer engineering and computer science (EECS).
gc-gsl-editor
GSL Editor extension to Autodesk's Genetic Constructor
geoengineer
Infrastructure As Code
keyboard-pcb-guide
Guide on how to design keyboard PCBs with KiCad
lepton-eda
GPL Electronic Design Automation
orderbook-rs
Basic order matching engine written in Rust
plfa.github.io
Introduction to programming language theory in Agda
proofOfConcept
PoC for renting non-fungible tokens
proofsweeper
Play Minesweeper by formally proving your moves in Idris
real-world-reflex
Real World Reflex Presentation
style-framework
An experimental Style Framework built on top of elm-ui
yesod-cookbook
Cookbook documentation