Moved to https://gitlab.com/graphviz/graphviz

Aviation weather and traffic receiver based on RTL-SDR.

Time Series data structure for Redis

Stand-alone ClojureScript REPL

A fast, parallel test case minimization tool.

improved screen locker

STM32F103 USB HID game device controller with flexible configuration

Adaptive Radix Trees implemented in C

A tiny software graphics and game engine

GIT for nodejs and the browser using https://libgit2.org compiled to WebAssembly with https://emscripten.org

An Embedded Implementation of Redis

A scenery generator for the X-Plane flight simulator

Compiler for the Mirth programming language.

SMACK Software Verifier and Verification Toolchain

AFLFast (extends AFL with Power Schedules)

A graph database with Cypher query language as a Redis module

A binary-compatible unikernel

A command-line editor and web browser.

Node.js interface to the Google word2vec tool.

A tiny Racket for scripting

git://git.savannah.gnu.org/make

A stable adaptive partitioning comparison sort.

Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.

Future development of redis-timeseries is at github.com/RedisLabsModules/redis-timeseries.

FrodoKEM: Learning with Errors Key Encapsulation. FrodoKEM is a family of key-encapsulation mechanisms that are designed to be conservative yet practical post-quantum constructions whose security d…

replaces Arduino AVR Core functions with smaller and faster versions

DataRefTool for X-Plane plugin development

Robust multi-prompt delimited control and effect handlers in C/C++

Colors for the st terminal