mjsottile

PySimpleGUI

Python GUIs for Humans! PySimpleGUI is the top-rated Python application development environment. Launched in 2018 and actively developed, maintained, and supported in 2024. Transforms tkinter, Qt, WxPython, and Remi into a simple, intuitive, and fun experience for both hobbyists and expert users.

ml-ferret

conky

Light-weight system monitor for X, Wayland (sort of), and other things, too

weggli

weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.

glicol

Graph-oriented live coding language and music/audio DSP library written in Rust

PEGTL

Parsing Expression Grammar Template Library

sketch

A Common Lisp framework for the creation of electronic art, visual design, game prototyping, game making, computer graphics, exploration of human-computer interaction, and more.

coalton

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

emfy

A dark and sleek Emacs setup for general purpose editing and programming

textbook

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"

CreuSAT

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

copyparty

Portable file server with accelerated resumable uploads, dedup, WebDAV, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file, no deps

botany

command line virtual plant buddy

verifast

Research prototype tool for modular formal verification of C and Java programs

emacs-builds

Self-contained Emacs.app builds for macOS, with native-compilation support.

amulet

An ML-like functional programming language

DaoFP

The Dao of Functional Programming

cpp-dump

A C++ library for debugging purposes that can print any variable, even user-defined types.

inpla

Inpla: Interaction nets as a programming language (the current version)

principia

The Principia Rewrite

sml-compiler

A compiler for Standard ML, somewhat

PomPom-Language

The cuteness implementation of a dependently typed language.

GeoCoq

A formalization of geometry in Coq based on Tarski's axiom system

automedia

A set of tools for automatically managing bitrot and format in large quantities of media

mathlingua

Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written, read, and understood by both people and computers.

calc-comp

Coq proofs for the paper "Calculating Correct Compilers"

AutoCog

Automaton & Cognition

parsing-menhir

Code for a tutorial on parsing with Menhir

genesis

fiddle