TLA+ tools for Emacs

An Emacs major mode for editing TLA+ specifications.

Interactively align by regular expression in Emacs

Another org-mode exporter via pandoc.

Fitbit Java Client API and Examples

Automatically exported from code.google.com/p/android-mileage

LLVM Techniques, Tips, and Best Practices Clang and Middle-End Libraries, published by Packt

The Authoritative fork of Org mode's ODT exporter

A markup-based typesetting system that is powerful and easy to learn.

A tracker for the Org LaTeX Preview effort on https://git.tecosaur.net/tec/org-mode

Present anything Emacs can do with programmable, extensible, configurable slides & presentation steps made from org mode headings

An Emacs major mode to edit and run SMTLIB v2 files

An interactive development environment for SMT-LIB files and Z3

A native, user-mode, multi-process, graphical debugger.

Universal Memory Interface (UMI)

Major mode for editing and executing AppleScript code

A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren

A lightweight, responsive web e-book template

Vulkan, OptiX and CUDA Interoperation Modular Rendering Library and Framework for PC/Linux/Android

Firmware for Pinetime smartwatch written in C++ and based on FreeRTOS

TOML deck generator with custom templates and schema validation

fpga.el - FPGA & ASIC Utils for Emacs

An Interactive interface for "GitHub CLI" client inside GNU Emacs using Consult

Assembly super-optimization via constraint solving

Userspace eBPF runtime for Observability, Network, GPU & General Extensions Framework

C++ library for composing modular firmware at compile-time.