REST API for any Postgres database

Cross-platform Rust rewrite of the GNU coreutils

Code samples for my book "Neural Networks and Deep Learning"

Lua based interactive firmware for ESP8266, ESP8285 and ESP32

ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

Duktape - embeddable Javascript engine with a focus on portability and compact footprint

Websockify is a WebSocket to TCP proxy/bridge. This allows a browser to connect to any application/server/service.

Learning FPGA, yosys, nextpnr, and RISC-V

Instant Markdown previews from Vim

The Eta Programming Language, a dialect of Haskell on the JVM

Rust Bitcoin library

🌄 A mobile-friendly, highly customizable, carousel component for displaying media in ReactJS

GraphQL for Postgres

CakeML: A Verified Implementation of ML

Issue tracker for macOS Sierra Vagrant box.

bitcoin utils and protocol in ruby.

Haskoin Core is a Bitcoin and Bitcoin Cash library

Pluto is a programmable digital watch that re-uses case and LCD panel of the Casio® F-91W. (Hardware)

Vim syntax file for solidity

Augur UI

A simple SPI/IIC programer based on ch341a.

A proof of concept trustless ethereum mixer

An Ansible role that installs Oracle JDK, in the format for Ansible Galaxy.

Websocket library for OCaml

A very small and basic ESP8266 breakout board

Lightweight Bitcoin client in C

Haskell implementation of the wayland protocol

FreeRTOS rewritten in Rust for the PIC32MX target, and eventually for x86, ARM, and MSP430 as well.