A small web app that allows the simple creation and decoding of Tupper's self-referential formula.
☆82Sep 26, 2022Updated 3 years ago
Alternatives and similar repositories for tuppers-formula
Users that are interested in tuppers-formula are comparing it to the libraries listed below
Sorting:
- lang Thue + Regex☆15Apr 20, 2022Updated 3 years ago
- Crawling Wikipedia to extract some Data☆18Apr 3, 2023Updated 2 years ago
- A highlight.js language grammar for the Lean theorem proving language.☆13Jun 30, 2024Updated last year
- Find PNG files with suspicious data in alpha channel☆28Feb 15, 2020Updated 6 years ago
- Document scoped to discussion of System Essentials for WebAssembly☆12Apr 14, 2021Updated 4 years ago
- A webkit based browser for the terminal.☆52Apr 10, 2021Updated 4 years ago
- Radvylf Should Not Be Allowed To Write Programming Languages☆12Nov 11, 2022Updated 3 years ago
- try and leave this project. do it☆10Dec 29, 2021Updated 4 years ago
- A project starter for Next.js with MDX.☆11Feb 26, 2026Updated 3 weeks ago
- A dumb afl-fuzz triage tool.☆14Dec 8, 2022Updated 3 years ago
- Tools to play with Reverse: 1999 files☆16Jun 23, 2024Updated last year
- ☆12Jan 5, 2016Updated 10 years ago
- ☆10Nov 27, 2019Updated 6 years ago
- Convert ANSI escape sequences to styleable HTML markup☆31May 9, 2019Updated 6 years ago
- Featured on https://www.forbes.com/sites/jasonevangelho/2018/11/27/choosing-linux-2-awesome-tools-to-find-your-perfect-linux-os/☆15Dec 8, 2024Updated last year
- EnlighterJS3 Documentation including all plugins☆19Feb 11, 2023Updated 3 years ago
- A simple menubar tool to display lyrics for Apple Music in MacOS.☆14May 2, 2025Updated 10 months ago
- Unofficial resolver addon that links Emby content to Stremio using direct stream URLs.☆25Mar 9, 2026Updated last week
- Sound wave editor☆30Aug 1, 2023Updated 2 years ago
- A bridge between Lishogi API and Lishogi USI Bots☆24Dec 2, 2024Updated last year
- Just tried making 2D jiggle physics using a vertex shader☆17Nov 19, 2022Updated 3 years ago
- Qt helper functions for callback execution, throttle, debounce, etc.☆14Dec 11, 2019Updated 6 years ago
- Simple wire-guard UI☆29Mar 14, 2026Updated last week
- initrd hook allowing LUKS-encrypted devices to be unlocked remotely over SSH☆10Nov 15, 2025Updated 4 months ago
- Frontend web applications for exploring VersaTiles maps and datasets.☆26Mar 3, 2026Updated 2 weeks ago
- Send Bluetooth commands directly to your device, no proprietary app required☆17Feb 13, 2026Updated last month
- ☆13Jun 27, 2022Updated 3 years ago
- Building & installation documentation for Ubuntu Touch on the OnePlus 5/5T☆13Jan 13, 2021Updated 5 years ago
- Chrome Extension☆12May 9, 2021Updated 4 years ago
- Chocolate Doom backported to DOS☆13Jul 10, 2025Updated 8 months ago
- Custom hl.exe with improvements☆12Jul 17, 2024Updated last year
- Powerful boilerplate with Next.js 14, Prisma, PostgreSQL, Auth.js v5, Resend, React Email, Shadcn/ui, and Stripe.☆25Mar 5, 2026Updated 2 weeks ago
- An assorted collection of SwiftUI utilities.☆15Oct 28, 2025Updated 4 months ago
- Bootloader update tool for wasp-os☆21Feb 2, 2025Updated last year
- Repository for (for now) filing bug reports about PLAI.☆14Jul 5, 2025Updated 8 months ago
- Let the web speak like a human. A simple chrome extension that uses the elevenlabs.io API to convert any text to speech.☆26Sep 7, 2024Updated last year
- An open source code editor for the web, written in JavaScript, HTML and CSS.☆14Feb 2, 2018Updated 8 years ago
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆58Aug 1, 2024Updated last year
- Rust bindings to MinHook.☆14Jan 17, 2021Updated 5 years ago