Pinned Repositories
aecad
Open Source Circuit Board Design Software that runs on the browser and desktop
alhambra
A package for designing and working with algorithmic DNA tile systems.
antha
The Antha Cross-Compiler
ArrheniusInference
A framework with a reduced state space to train the Arrhenius DNA kinetic model
awesome-topological-data-analysis
A collection of topological data analysis links, frameworks, libraries and software. Inspired by awesome projects line.
bCNC
GRBL CNC command sender, autoleveler and g-code editor
hdph-rs
HdpH-RS is a reliable scheduling extension to HdpH, a Haskell-embedded DSL for scalable distributed computing.
KATARA-Microfluidics-Controller
An open source controller for large scale integration. See http://www.biorxiv.org/content/early/2017/09/14/188615
nrf5x-dk-gcc
A example of nRF51-DKnRF52-DK application using gcc on Linux
the-power-of-pi
Implementations of ideas in The Power of Pi.
brezal's Repositories
brezal/aecad
Open Source Circuit Board Design Software that runs on the browser and desktop
brezal/awesome-topological-data-analysis
A collection of topological data analysis links, frameworks, libraries and software. Inspired by awesome projects line.
brezal/bCNC
GRBL CNC command sender, autoleveler and g-code editor
brezal/bg-sync
brezal/binance-official-api-docs
Official Documentation for the Binance APIs and Streams
brezal/BioCRNPyler
A modular compiler for biological chemical reaction networks
brezal/cello
Genetic circuit design automation
brezal/CRNSynthesis
brezal/eecs-stem-outreach
Resources for outreach and broadening participation in science, technology, engineering, and mathematics (STEM), including electrical/computer engineering and computer science (EECS).
brezal/fnft
A wallet protocol and implementation to allow transferable Fractional Ownership to be implemented for ERC721 tokens (NFTs).
brezal/gc-gsl-editor
GSL Editor extension to Autodesk's Genetic Constructor
brezal/geoengineer
Infrastructure As Code
brezal/graphmap
GraphMap - A highly sensitive and accurate mapper for long, error-prone reads http://www.nature.com/ncomms/2016/160415/ncomms11307/full/ncomms11307.html
brezal/horizon
Horizon is a free EDA package
brezal/keyboard-pcb-guide
Guide on how to design keyboard PCBs with KiCad
brezal/KinDA
Kinetic DNA strand displacement analyzer
brezal/lepton-eda
GPL Electronic Design Automation
brezal/neat-starter
brezal/OpenDrop
Open Source Digital Microfluidics Bio Lab
brezal/orderbook-rs
Basic order matching engine written in Rust
brezal/OSMMPump
Open-Source Multichannel Microfluidics Pump. Developed as a research project to create a system that can precisely deliver fluids at a resolution of up to 0.1 uL/min.
brezal/plfa-book
Programming Languague Foundations in Agda exercises - https://plfa.github.io/
brezal/plfa.github.io
Introduction to programming language theory in Agda
brezal/ProDy
A Python Package for Protein Dynamics Analysis
brezal/proofOfConcept
PoC for renting non-fungible tokens
brezal/proofsweeper
Play Minesweeper by formally proving your moves in Idris
brezal/pwa-bugs
🚔 List of PWA Bugs and workarounds
brezal/real-world-reflex
Real World Reflex Presentation
brezal/style-framework
An experimental Style Framework built on top of elm-ui
brezal/yesod-cookbook
Cookbook documentation