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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- lang Thue + Regex☆15Apr 20, 2022Updated 4 years ago
- A collection of functions written in Triton VM assembly (tasm)☆11Jun 17, 2026Updated last month
- Crawling Wikipedia to extract some Data☆19Apr 3, 2023Updated 3 years ago
- A highlight.js language grammar for the Lean theorem proving language.☆13Jun 30, 2024Updated 2 years ago
- Avalon DOS RPG, a classic retro top-down adventure MSX style, based on SD-Snatcher, Pumpkin Adventure and others.☆15Jul 30, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Post-BOJ plans on linking other OJs to solved.ac☆18Apr 30, 2026Updated 3 months ago
- Generating logogams from the movie "Arrival" using generative adversarial networks in Keras☆35Sep 16, 2017Updated 8 years ago
- Github repository for the 2025 Clay Summer School on Formalizing Class Field Theory☆17Aug 3, 2026Updated last week
- A dumb afl-fuzz triage tool.☆15Dec 8, 2022Updated 3 years ago
- A virtual machine controlled via stdin/stdout☆33Aug 2, 2022Updated 4 years ago
- ☆12Jan 5, 2016Updated 10 years ago
- Examples using MetaProgramming for writing tactics etc.☆19Nov 26, 2025Updated 8 months ago
- A web component to render KaTeX expression☆12Nov 17, 2025Updated 8 months ago
- Audio player☆10Jul 29, 2026Updated 2 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- View PPM, PGM and PBM images by simply dragging them into your browser.☆24Dec 6, 2019Updated 6 years ago
- Selecting and copy-pasting in terminal using Vimium-like hint mode.☆27Jul 2, 2026Updated last month
- 用于自动化检测CTF中常出现得工具图片隐写题目☆10Feb 6, 2021Updated 5 years ago
- ☆11Jul 22, 2023Updated 3 years ago
- A formalization of the Banach-Tarski theorem in Lean☆16Jan 4, 2026Updated 7 months ago
- Just tried making 2D jiggle physics using a vertex shader☆17Nov 19, 2022Updated 3 years ago
- This repository includes an example wasm plugin, for you to use as a reference for developing your own plugins☆18Nov 24, 2025Updated 8 months ago
- Sound wave editor☆29Aug 1, 2023Updated 3 years ago
- ☆10Sep 30, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Repositorio de ejemplos, macros, plantillas, clases, etc. relacionados con la producción de documentos con LaTeX.☆15Sep 2, 2023Updated 2 years ago
- ☆14Jul 3, 2026Updated last month
- A GOG Galaxy like client for RetroPie☆25Mar 9, 2022Updated 4 years ago
- 日本の飲食 店オープンデータ☆13May 6, 2021Updated 5 years ago
- A visualization of the calendars described in J.R.R. Tolkien's The Lord of the Rings Appendix D☆20Updated this week
- template CV☆10Feb 4, 2023Updated 3 years ago
- It replaces all of your images by Kemono Friends☆18Aug 27, 2024Updated last year
- Source code and logic to build LuaJIT 2.1 for Rust☆21May 30, 2026Updated 2 months ago
- Custom hl.exe with improvements☆12Jul 17, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Guía de uso de beamer☆10Sep 23, 2017Updated 8 years ago
- Calculate Pi using the Leibniz formula.☆11Jan 11, 2017Updated 9 years ago
- ⭐ My own world.☆17Updated this week
- Chrome Extension☆12May 9, 2021Updated 5 years ago
- A small interpreted easy extendable programming language.☆18Nov 26, 2025Updated 8 months ago
- Website com as cartas do Masters of Pwnage, para que qualquer um possa montar um deck jogável.☆18May 14, 2025Updated last year
- Parse iptables rules from iptables-save in Go.☆17Apr 4, 2024Updated 2 years ago