brezal's repositories

aecad

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

Language:LiveScriptStargazers:0Issues:1Issues:0

awesome-topological-data-analysis

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

Stargazers:0Issues:1Issues:0

bCNC

GRBL CNC command sender, autoleveler and g-code editor

Language:PythonLicense:GPL-2.0Stargazers:0Issues:1Issues:0
Language:JavaScriptStargazers:0Issues:2Issues:0

binance-official-api-docs

Official Documentation for the Binance APIs and Streams

Stargazers:0Issues:2Issues:0

BioCRNPyler

A modular compiler for biological chemical reaction networks

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

cello

Genetic circuit design automation

Language:JavaLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0
Language:PythonStargazers:0Issues:2Issues:0

eecs-stem-outreach

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

Language:TeXLicense:MITStargazers:0Issues:1Issues:0

fnft

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

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0

gc-gsl-editor

GSL Editor extension to Autodesk's Genetic Constructor

Language:JavaScriptStargazers:0Issues:2Issues:0

geoengineer

Infrastructure As Code

Language:RubyLicense:Apache-2.0Stargazers:0Issues:2Issues:0

graphmap

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

Language:C++License:MITStargazers:0Issues:2Issues:0

horizon

Horizon is a free EDA package

Language:CLicense:GPL-3.0Stargazers:0Issues:1Issues:0

keyboard-pcb-guide

Guide on how to design keyboard PCBs with KiCad

Stargazers:0Issues:1Issues:0

KinDA

Kinetic DNA strand displacement analyzer

Language:PythonLicense:NOASSERTIONStargazers:0Issues:2Issues:0

lepton-eda

GPL Electronic Design Automation

Language:CLicense:GPL-2.0Stargazers:0Issues:1Issues:0
Language:HTMLLicense:MITStargazers:0Issues:2Issues:0

OpenDrop

Open Source Digital Microfluidics Bio Lab

Language:CLicense:GPL-3.0Stargazers:0Issues:2Issues:0

orderbook-rs

Basic order matching engine written in Rust

Language:RustLicense:MITStargazers:0Issues:2Issues:0

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.

Language:MATLABStargazers:0Issues:1Issues:0

plfa-book

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

Language:AgdaStargazers:0Issues:1Issues:0

plfa.github.io

Introduction to programming language theory in Agda

Language:AgdaLicense:CC-BY-4.0Stargazers:0Issues:1Issues:0

ProDy

A Python Package for Protein Dynamics Analysis

Language:PythonLicense:NOASSERTIONStargazers:0Issues:2Issues:0

proofOfConcept

PoC for renting non-fungible tokens

Language:JavaScriptStargazers:0Issues:2Issues:0

proofsweeper

Play Minesweeper by formally proving your moves in Idris

Language:HaskellStargazers:0Issues:2Issues:0

pwa-bugs

🚔 List of PWA Bugs and workarounds

License:MITStargazers:0Issues:2Issues:0

real-world-reflex

Real World Reflex Presentation

Language:CSSStargazers:0Issues:2Issues:0

style-framework

An experimental Style Framework built on top of elm-ui

Language:ElmLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

yesod-cookbook

Cookbook documentation

Language:HaskellStargazers:0Issues:2Issues:0