Stars
Extracts and formats text annotations from a PDF file
A C Compiler that fits in the 512 byte boot sector of an x86 machine
Purely functional statically typed Lisp which compiles to JavaScript
A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
An application to write OS images to USB drives, on Android, no root required.
A Scheme kernel for Jupyter that can use Python libraries
Collection of decent Community-made GRUB themes. Contributions welcome!
A curated list of awesome Scheme libraries and resources
Learn English grammar with TypeScript
Algorithmic Information Theory, using Binary Lambda Calculus
Repository listing all the selfhosted apps that support LDAP
Persists tmux environment across system restarts.
AI-powered tools to enhance Anki flashcards with explanations, mnemonics, illustrations, and adaptive learning for medical school and beyond
A conversion of the classic 8x8 TempleOS font.
Versatile typeface for code, from code.
An active fork of curl-impersonate with more versions and build targets. A series of patches that make curl requests look like Chrome, Firefox and Safari.
A tower defense game for Android based on a microprocessor theme
a tool for automating almost everything (with Emacs)
Partially open-source alternative Steam Client for Linux.
Shoegaze rock-inspired Turing-complete fractal music language. 1st place @ MIT Media Lab hackathon.