Lists (31)
AI
Books
Data science
Databases as interfaces
Queries as business logic for anything and everything. Databases are built for querying and manipulating data, so why don't we use them more?Design
Electronics
Emacs
Games
Git alternatives
Git has a great data model but awful UX; these tools try to right the wrongs of the Git CLI.Hardware
Knowledge
Linguistics
Little languages
https://chreke.com/little-languages.htmlLive game reloading
http://blog.chrismdp.com/2015/08/how-to-add-live-code-reload-to-your-game/Math
Mathematics
Anything sufficiently math-y, whether that be proof assistants, textbooks, or tensor librariesMedia
Music
My languages
Various languages (mostly domain-specific) I've implemented for fun, knowledge, and/or profit.New forms of programming
Nice web
Websites that make the world a little bit nicer because they exist.Papers
Reverse engineering
Whether it's a game decomp project or a tool to make web scraping a little easier, anything that enables one to unobfuscate programs goes here.Search engine data sources
Specs and test suites
Tools for thought
Typesetting
Uniform interfaces
SQL virtual tables, NNTP and IMAP wrappers for websites, and virtual filesystems, oh my!Utility libraries
Video
White-hat hacking tools
Stars
A local-first LaTeX & Typst web editor with real-time collaboration & offline support
Datalog compiler embedded in Rust as a procedural macro
Extension repository for Mihon and variants
Simple logging library with zero dependencies for Deno, Node.js, Bun, browsers, and edge functions
Next-gen language engineering / DSL framework
an encyclopedia of finite element definitions
A rendition of everyone's favorite 1995 Microsoft operating system for Linux.
An RSS feed generator for Paul Graham's essays
A very simple program to concatenate all the pdf files from the current directory.
An EDSL implemented in Haskell for programming the Nintendo Game Boy.
UCLID5: formal modeling, verification, and synthesis of computational systems
A human-writable text format for musical notes, timing, and expression.
SubChat is a command-line and GUI toolset for generating YouTube subtitles from chat logs.
Simple, locally-running web app for generating depth maps using machine learning.
Source code of extensions for Aniyomi and forks
A cinematic Git commit replay tool for the terminal, turning your Git history into a living, animated story.
Miller is like awk, sed, cut, join, and sort for name-indexed data such as CSV, TSV, and tabular JSON