emdash Goto Github PK

ampii

applib

brainbox

braun_et_al

ssa construction in python

btremote

Firmware for my Arduino-Based BLE Remote

btremoteandroid

Android App for my BLE Remote Control

buildroot

Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is at http://git.buildroot.net/buildroot/. Do not open issues or file pull requests here.

cairo_sandbox

calendar

PyGTK Calendar App with Emphasis on Usability

chip_config

curvy

Light-weight semantic web framework

dashboard

Custom serial dashboard firmware

fgrs-toolbox

Rust Port of Shivers & Wand's Bottom-up Beta-Reduction

gc_roots

GC Visualization tool

glial

A toy graphics engine written on top of glium, built up incrementally from a glium tutorial.

goof

A toy functional language created through the abuse of C

gst-editor

Interactive Pipeline Editor for GStreamer

heliostan

Software and Firmware for DIY PV Solar Trackers

highlight.js

JavaScript syntax highlighter with language auto-detection and zero dependencies.

idris-datetime

Idris implementation of date and time types

idris-todo

idris2-finite

A derivable interface for types with a finite number of values

idris2-finset

idris2-sqlite3

Idris2 bindings to the sqlite3 C-API

idris2-tui

Rich Terminal UI framework for Idris2

idris2-tutorial

irpn

Idris port of rpncalc

kivy

Open source UI framework written in Python, running on Windows, Linux, OS X, Android and iOS

librcp

Telemetry parser library for race capture pro.

nixos_config

Adventures in NixOS