turlando

py-isort.el

py-isort.el integrates isort into Emacs.

pyimpsort

Sort python imports

galene

The Galène videoconference server

scientific-visualization-book

An open access book on scientific visualization using python and matplotlib

one-pass-code-generation-in-v8

One-pass Code Generation in V8 (Archive)

copilot

A stream-based runtime-verification framework for generating hard real-time C code.

linear-temporal-logic

sandbox for playing with linear temporal logic

icemon

Icecream GUI Monitor

smtp4dev

smtp4dev - the fake smtp email server for development and testing

paperless-ngx

A community-supported supercharged version of paperless: scan, index and archive all your physical documents

arcan

Arcan - [Display Server, Multimedia Framework, Game Engine] -> "Desktop Engine"

ngless

NGLess: NGS with less work

reverse-camel

Cross-platform Camel Crusher Clone VST plug-in based on black-box analysis

gloss

Painless 2D vector graphics, animations and simulations.

zigthesizer

alpine-pkg-glibc

A glibc compatibility layer package for Alpine Linux

sov

An overlay that shows schemas for all workspaces to make navigation in sway easier.

manim

A community-maintained Python framework for creating mathematical animations.

manim

Animation engine for explanatory math videos

tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

no-littering

Help keeping ~/.config/emacs clean

magmide

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

certicrypt

CertiCrypt Coq Framework

123elf

A native port of Lotus 1-2-3 to Linux.

trofi.github.io.gen

source for blog generator

ltl

Linear Temporal Logic

helpful

A better Emacs *help* buffer

JSFX

A bundle of JSFX and scripts for reaper.

controlvault2-nfc-enable

Enable NFC on Linux for pcscd on Dell E7470 (and others) with ControlVault2

diagnose

A simple library for reporting compiler/interpreter errors