Learning FPGA, yosys, nextpnr, and RISC-V

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

Small Caml Light language featuring type inference, code transformations and a module system

A proof of concept trustless ethereum mixer

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

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

A simple SPI/IIC programer based on ch341a.

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

Lua based interactive firmware for ESP8266, ESP8285 and ESP32

ABC iView add-on for Kodi

CakeML: A Verified Implementation of ML

A very small and basic ESP8266 breakout board

Haskell implementation of the wayland protocol

Cross-platform Rust rewrite of the GNU coreutils

Instant Markdown previews from Vim

Issue tracker for macOS Sierra Vagrant box.

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

Vim syntax file for solidity

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

String utility functions for ethereum contracts

Tool to convert Ethereum Assembly to EVM Bytecode

GraphQL for Postgres

Augur UI

A persistent B-ish-tree

Websocket library for OCaml

OCaml bindings for the micro-ecc ECC library

A simple ruby tool that reads the blockchain

Lightweight Bitcoin client in C