cleichner

haskell-ipfs

Haskell implementation of the InterPlanetary File System

hlfsm-synth

A compiler from a C-like language to FSMs in Verilog

whichclasses

A better interface for the University of Arizona TCE system

bldc

The code for my custom BLDC controller.

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

robot_telemetry_board

2013-04-az

2013 Arizona workshop in April - Software Carpentry

blinky-flashy

Source code for the holiday party light display.

blog.rust-lang.org

book

Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devices

cfm

A 16-bit CPU and system, written in Haskell and running Forth.

cheat-at-letterpress

This is an optimizer for the game Letterpress

clash-compiler

CAES Language for Synchronous Hardware

contiki

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

flask-rq

RQ (Redis Queue) integration for Flask applications

flax

Flax is a neural network ecosystem for JAX that is designed for flexibility.

gitit

A wiki using HAppS, pandoc, and git

googletest

Google Test

hartnell-4.github.io

house

Masonic House Repository

idlecarpentry

Automatically exported from code.google.com/p/idlecarpentry

io-ts

Runtime type system for IO decoding/encoding

ipfs

Inter Planetary File System

lens

Lenses, Folds, and Traversals - Join us on freenode #haskell-lens

machinaut.github.io

sbvPlugin

Formally prove properties of Haskell programs using SBV/SMT.

smash

Simple, `These`-like datatypes

tflearn

Deep learning library featuring a higher-level API for TensorFlow.

uofa-acm.github.io

University of Arizona ACM

wilks

Web app for Wilks calculations for powerlifting push-pull meets