Stars
A cilent for the bitcoind JSON-RPC interface
A hardware abstraction library for the STM32F4x family of microcontrollers, written in Rust.
Haskoin Core is a Bitcoin and Bitcoin Cash library
Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot.
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...
A low-cost patient monitor for developing world hospitals and low-resource settings.
A curated list of articles complaining that go (golang) isn't good enough
A Dependently Typed Functional Programming Language
Haskell to VHDL/Verilog/SystemVerilog compiler
Convert lambda expressions to CCC combinators
Plugin for Sublime for inserting unicode math symbols and emoji
UT Austin's Engineering World Health Design Competition Project