CakeML: A Verified Implementation of ML

Cross-platform Rust rewrite of the GNU coreutils

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

Rust Bitcoin library

REST API for any Postgres database

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

Instant Markdown previews from Vim

Code drop from freerouting.net

Lua based interactive firmware for ESP8266, ESP8285 and ESP32

Websocket library for OCaml

Haskoin Core is a Bitcoin and Bitcoin Cash library

Lightweight Bitcoin client in C

Learning FPGA, yosys, nextpnr, and RISC-V

bitcoin utils and protocol in ruby.

A simple SPI/IIC programer based on ch341a.

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

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

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

omxplayer

ABC iView add-on for Kodi

Augur UI

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

PostgreSQL asynchronous EventMachine client (ruby-pg) wrapper

The schematic and 3D libraries for KiCad 4.0. Note that the footprint libraries are the *.pretty repos themselves. This is an orphaned repo, the news about the v5 libs, http://kicad.org/post/kicad-…

Vim syntax file for solidity

Issue tracker for macOS Sierra Vagrant box.

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

Unsigned ints for OCaml

A persistent B-ish-tree