Windows KExec

[MIRROR] The path to GNUrvana

ODAS: Open embeddeD Audition System

SuperMicro IPMI Firmware source code

first ergonomic keyboard with Trackpoint

Wake word detection modeling toolkit for Firefox Voice, supporting open datasets like Speech Commands and Common Voice.

USB WiFi Adapter Information for Linux

A PyTorch Implementation of the paper - Choi, Woosung, et al. "Investigating u-nets with various intermediate blocks for spectrogram-based singing voice separation." 21th International Society for …

This repository provides an overview over the EU Digital Green Certificates (DGC) project.

Electronic Health Certificates Specification

Guix on WSL2, packages and notes

Deep-GUI is a tool for generating intelligent inputs to test UI-based applications, such as Android or web applications.

A persistent, relational store inspired by Datomic and DataScript.

(OBSOLETE) Named Data Networking Link Protocol

Compiler for Elm, a functional language for reliable webapps.

KinectA - track hands, skeletons or blobs via Kinect!

(OBSOLETE, use NDNts) Lightweight NDN stack in pure JavaScript

Configuration Scripts and Settings for our Freifunk Firmware.

A Dependently Typed Functional Programming Language

ECMAScript back end for Functional Reactive Programming in Agda

efficient and practical cryptohashing in haskell

(OBSOLETE) NDN bindings for Python

Bindings to Haskell's IO monad which respect Agda's semantics

hardware-independent openWRT-extension (using POSIX-shell as main-language) for setting up, monitor and manage many, large wifi-mesh-networks for different locations including billing, captive port…

efficient and practical cryptohashing in haskell. DEPRECATED in favor of cryptonite

THIS REPOSITORY IS NO LONGER MAINTAINED. IT HAS BEEN COMPLETELY REPLACED BY https://github.com/PARC/CCNx_Distillery