Minispec Hardware Description Language

A DSL for the Automata Theory Classroom

Cryptol: The Language of Cryptography

A Python library for simulating finite automata, pushdown automata, and Turing machines

A modern Prolog implementation written mostly in Rust.

The Cyber Swiss Army Knife - a web app for encryption, encoding, compression and data analysis

Ghidra is a software reverse engineering (SRE) framework

Main repository of SageMath

An interpreter for learning and exploring pure λ-calculus

A magma kernel for Jupyter, based on bash_kernel

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

WordPerfect for UNIX Character Terminals

Work with context-free grammars. Parsing, string generation, and manipulation.

Competitive programming library and team notebook maintained by AdMU Programming Varsity

Lotus 1-2-3 R4D Display Driver for DOSEMU

L-Functions and Modular Forms Database

A party game for nerdy cryptographers. Shamelessly based on Cards Against Humanity.

An Infinitely Large Napkin

Animation engine for explanatory math videos

Repository for CS 129.18 - Bautista AY18-19

KTH Algorithm Competition Template Library (... eller KTHs AC-tillverkande lapp)

🙊 Subtle and not-so-subtle shell tweaks that will slowly drive people insane.