Cliff L. Biffle's repositories
minimal-embedded-rust
Example code and build environment for Rust on Cortex-M4.
brittle-kernel
A security-oriented microkernel for Cortex-M microcontrollers
gcc-arm-embedded
Mirror of ARM's GCC project on Launchpad
s3g-toolkit
Command-line tools for manipulating RepRap/MakerBot S3G files.
thingiview.js
Javascript 3D Model Viewer
WatchMaestro
A Java library for controlling the MetaWatch
avrgcc-macosx-makefile
Build avrgcc from source for Mac OS X via Makefile
flabbergast-hs
Variations on a theme in word game solving.
G3Firmware
The firmware for generation 3 and later RepRap electronics.
ImplicitCAD
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation...
ReplicatorG
An open-source gcode interpreter for driving RepRaps, Makerbots, and other similar CNC beasties
Swamp-Thing
Laser-cut swamp cooler design.
agealyzer-rust
Rust implementation of my agealyzer tool
cargo
The Rust package manager
clash-compiler
CAES Language for Synchronous Hardware
clash-prelude
CLaSH prelude library containing datatypes and functions for circuit design
crazyflie-firmware
The main firmware for the Crazyflie Nano Quadcopter.
haskell-indexer
Emits code crossreference data for Haskell sources.
mdaffin-embedded-examples-fork
examples of bare metal embedded programming on various platforms and languages
software-foundations-coq-workshop
Materijal za radionicu Coq-a prema kursu "Software foundations" (CIS 500) Benjamina Piercea