Generic Non-Planar Slicer

A system for automatically calibrating pressure advance using laser triangulation

Docs, Schematic and Board file for the Dianome PDB

Compact brushless motor controller with FOC, integrated absolute angle sensor and CAN Bus.

Gym Electric Motor (GEM): An OpenAI Gym Environment for Electric Motors

Haskell to VHDL/Verilog/SystemVerilog compiler

FlowCrypt Browser extension for Chrome and Firefox

WIP implementation of a Haskell-like Lisp in Racket

er9x/ersky9x radio firmware

Solutions to Paolo Aluffi's "Algebra: Chapter 0".

Stack trace visualizer

Raspberry Pi ARM based bare metal examples

RIOT - The friendly OS for IoT

Definitions for using Atom with the MSP430 microcontroller family.

Convert lambda expressions to CCC combinators

The official git repository for Contiki, the open source OS for the Internet of Things

A C testing library in 1 file. No dependencies, no dynamic allocation. ISC licensed.

A Coq library for Homotopy Type Theory

Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.

Automatically refreshing Markdown preview.

The missing package manager for OS X.

A coroutine oriented web framework featuring: Mongrel2, Gevent (or Eventlet), ZeroMQ and DictShield

Python decorator library for easy ZMQ pipeline creation

Rotide is an editor.

Linux kernel source tree

Firmware for an IEEE Micromouse

A unix command-line interpreter

Asynchronous web and messaging