Keyboard firmwares for Atmel AVR and Cortex-M

Spike, a RISC-V ISA Simulator

a collection of "Little Electronic & Arduino Projects", most involving electronics or an Arduino in one way or another!

bitmap to vector graphics converter

C Just In Time, interpreter and compiler

Retrieves Bitcode from Mach-O binaries

Project to provide keyboard replacements for various classic computers, as well as classic ASCII keyboard

Bologna Optimal Higher-Order Machine, Version 1.1

Pluggable implementation of Immix garbage collector.

Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns and expressions embedded in patterns.

Lisp Machine Keyboard USB driver

The CWEB System of Structured Documentation

Damerau-Levenshtein Distance UDF for MySQL - Supports upper bounding for fast searching and UTF-8 case insensitive throught iconv.

Parallel Environment for optimal Lambda Calculus Reduction

BuDDy BDD package (with CMake support)

A graphical interaction network interpreter, written by Sylvain Lippi

CUDD BDD library by Fabio Somenzi with additional features and customizations