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 graphics library + LCD driver for the STM32F4 and 16bpp graphics LCDs. Currently, only LCDs with ILI9481 controller are supported

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

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-…

Code drop from freerouting.net

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