Starred repositories
Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
A collection of GPT system prompts and various prompt injection/leaking knowledge.
explore token trajectory trees on instruct and base models
Signed Zero-trust DaTa - a container format for distributed, censorship-resistant publishing and archiving. Pronounced "Samizdat".
A short guide to LaTeX that avoids legacy cruft.
AI app store powered by 24/7 desktop history. open source | 100% local | dev friendly | 24/7 screen, mic recording
I made my AI think harder by making it argue with itself repeatedly. It works stupidly well.
A collection of JS utility functions and custom elements for progressively enhanced error handling for the client-side
CodeTracer is a user-friendly time-traveling debugger designed to support a wide range of programming languages.
An experimental peer-to-peer Web browser
A reverse engineering of Linear's sync engine for learning purposes. Endorsed by Linear's CTO.
Type-in programs from the original 101 BASIC Computer Games, in their original DEC and Dartmouth dialects. No, this is *not* the same as BASIC Computer Games.
Minimal and annotated implementations of key ideas from modern deep learning research.
A Swift package for interacting with selenium and undetected-chromedriver through python by using PythonKit.
Content-addressed data over HTTP using magnet links
Fast, indexed regexp search over large file trees
WebGL lessons that start with the basics
ChrisShank / unternet.co
Forked from unternet-co/unternet.coUnternet public website.
🧡 Browser extension that simplifies finding and subscribing RSS and RSSHub