A modular compiler for biological chemical reaction networks

GRBL CNC command sender, autoleveler and g-code editor

GPL Electronic Design Automation

Horizon is a free EDA package

Open Source Circuit Board Design Software that runs on the browser and desktop

A collection of topological data analysis links, frameworks, libraries and software. Inspired by awesome projects line.

Resources for outreach and broadening participation in science, technology, engineering, and mathematics (STEM), including electrical/computer engineering and computer science (EECS).

Guide on how to design keyboard PCBs with KiCad

Introduction to programming language theory in Agda

Programming Languague Foundations in Agda exercises - https://plfa.github.io/

An experimental Style Framework built on top of elm-ui

Kinetic DNA strand displacement analyzer

🚔 List of PWA Bugs and workarounds

A wallet protocol and implementation to allow transferable Fractional Ownership to be implemented for ERC721 tokens (NFTs).

Infrastructure As Code

A Python Package for Protein Dynamics Analysis

Open Source Digital Microfluidics Bio Lab

GraphMap - A highly sensitive and accurate mapper for long, error-prone reads http://www.nature.com/ncomms/2016/160415/ncomms11307/full/ncomms11307.html

PoC for renting non-fungible tokens

Genetic circuit design automation

Basic order matching engine written in Rust

Cookbook documentation

Official Documentation for the Binance APIs and Streams

Play Minesweeper by formally proving your moves in Idris

GSL Editor extension to Autodesk's Genetic Constructor

Real World Reflex Presentation