Lists (2)
Starred repositories
Tool to work with Signal Backup files.
Pure java build tool for developers who don't like dealing with build tools
A short HOWTO on how to redefine class bytecode at runtime, plus a complete class to accomplish this task.
Demo for high-performance type theory elaboration
📚 A curated list of papers for Software Engineers
Master programming by recreating your favorite technologies from scratch.
A tree-sitter based AST difftool to get meaningful semantic diffs
An incremental parsing system for programming tools
Region selection with hints on the AST nodes of a document powered by treesitter
Flapi is an API generator for Java, which generates 'smart' interfaces for improved fluency in your code.
Concrete Syntax Trees represent s-expressions with source information
an implementation-independent framework for creating Common Lisp compilers
Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me
A collection of ergonomic split keyboards ⌨
An interactive and powerful Git interface for Neovim, inspired by Magit
Version 2 of the Climacs text editor.
🗃 Open source self-hosted web archiving. Takes URLs/browser history/bookmarks/Pocket/Pinboard/etc., saves HTML, JS, PDFs, media, and more...
A new way to see and navigate directory trees : https://dystroy.org/broot