A privacy-conscious Android keyboard made for your thumbs

A Text Editor inside a keyboard, drawing it's inspiration from 8pen and Vim.

A light and dark themes for Doom Emacs based on N Λ N O Themes

Home-made almost operating system

OpenMZ, a security kernel for RISC-V targeting secure coprocessors and secure embedded systems.

Software for the Pedelec/E-Bike controller based on Arduino hardware, see www.pedelecforum.de "ForumsController"

Flexible OpenSource firmware for TongSheng TSDZ2 mid drive ebike motor

Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model

HELP Enables Literate Programming

A better Emacs *help* buffer

Programmatic keyboard CAD

code and manual

This repository is to handle developing an Android game

Shell script to set up a Raspberry Pi/Odroid/PC with RetroArch emulator and various cores

Locus addon for Wahoo RFLKT

JayPS (Pebble Bike/Ventoo) Android App

Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Create your free account at runalyze.com

Emacs X Window Manager

Overall project configuration and documentation

An Android app for multi-modal trip planning and navigation using any OpenTripPlanner server.

ChromeOsSubtitle video player

A calendar framework for Emacs