cleichner's Stars
torvalds/linux
Linux kernel source tree
Homebrew/legacy-homebrew
💀 The former home of Homebrew/homebrew (deprecated)
brendangregg/FlameGraph
Stack trace visualizer
carlhuda/janus
Vim distribution
RIOT-OS/RIOT
RIOT - The friendly OS for IoT
contiki-os/contiki
The official git repository for Contiki, the open source OS for the Internet of Things
dwelch67/raspberrypi
Raspberry Pi ARM based bare metal examples
silentbicycle/greatest
A C testing library in 1 file. No dependencies, no dynamic allocation. ISC licensed.
clash-lang/clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
HoTT/Coq-HoTT
A Coq library for Homotopy Type Theory
lexi-lambda/hackett
WIP implementation of a Haskell-like Lisp in Racket
j2labs/brubeck
Asynchronous web and messaging
FlowCrypt/flowcrypt-browser
FlowCrypt Browser extension for Chrome and Firefox
upb-lea/gym-electric-motor
Gym Electric Motor (GEM): An OpenAI Gym Environment for Electric Motors
VinylRecords/Vinyl
Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.
tinymovr/Tinymovr
Compact brushless motor controller with FOC, integrated absolute encoder and CAN Bus.
MikeBland/mbtx
er9x/ersky9x radio firmware
conal/lambda-ccc
Convert lambda expressions to CCC combinators
srcreigh/aluffi
Solutions to Paolo Aluffi's "Algebra: Chapter 0".
crabmusket/atom-msp430
Definitions for using Atom with the MSP430 microcontroller family.
tinymovr/Dianome
Docs, Schematic and Board file for the Dianome PDB
cleichner/bubbly
Firmware for an IEEE Micromouse
cleichner/pipeline
Python decorator library for easy ZMQ pipeline creation
cleichner/glsh
A unix command-line interpreter
cleichner/brubeck
A coroutine oriented web framework featuring: Mongrel2, Gevent (or Eventlet), ZeroMQ and DictShield
cleichner/homebrew
The missing package manager for OS X.
cleichner/laark
cleichner/rotide
Rotide is an editor.
cleichner/Viewmark
Automatically refreshing Markdown preview.
mgaut72/Reflection-Abuse