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:
- A highlight.js language grammar for the Lean theorem proving language.☆13Jun 30, 2024Updated 2 years ago
- Document scoped to discussion of System Essentials for WebAssembly☆12Apr 14, 2021Updated 5 years ago
- Java interpreter for the esoteric language Pixiedust.☆15Oct 5, 2018Updated 7 years ago
- Post-BOJ plans on linking other OJs to solved.ac☆18Apr 30, 2026Updated 2 months ago
- Hexbase telegram door bot☆10Dec 24, 2016Updated 9 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.
- Implementation of Tree esoteric programming language☆10Mar 3, 2023Updated 3 years ago
- Code developed while reading "Programming in Haskell", by Graham Hutton☆12May 21, 2010Updated 16 years ago
- Interpreter for my esolang☆12Aug 15, 2022Updated 3 years ago
- Building a generalized encoder for assembly script☆13Apr 15, 2024Updated 2 years ago
- NEAR multisig wallet☆11Apr 8, 2021Updated 5 years ago
- A dumb afl-fuzz triage tool.☆15Dec 8, 2022Updated 3 years ago
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆34Apr 11, 2026Updated 3 months ago
- ❎ Soothing pastel theme for HexChat☆20May 4, 2025Updated last year
- ☆19Dec 8, 2014Updated 11 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆14Apr 7, 2023Updated 3 years ago
- ☆10Oct 18, 2022Updated 3 years ago
- Examples using MetaProgramming for writing tactics etc.☆19Nov 26, 2025Updated 7 months ago
- Horen - Reference Grammar of Na'vi☆17Apr 25, 2026Updated 2 months ago
- ☆15Jan 16, 2022Updated 4 years ago
- Audio player☆10May 4, 2026Updated 2 months ago
- AntNet Algorithm - Ant-based routing in networks☆10Oct 28, 2024Updated last year
- Server prepared for SSRF post exploitation, javascript exploits and open redirect.☆13Jan 4, 2023Updated 3 years ago
- Small console application to check the rewards for lockup accounts in NEAR protocol.☆12May 8, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 用于自动化检测CTF中常出现得工具图片隐写题目☆10Feb 6, 2021Updated 5 years ago
- Small repo for implementing the 2018 EUROCRYPT paper "Simple Proofs of Sequential Work" by Cohen and Pietrzak. Also used as part of our C…☆10Aug 26, 2018Updated 7 years ago
- The most advanced Blender Add-On for Discord Rich Presence. It has a lot of custom options and variables, as well as an auto updater.☆18Apr 12, 2021Updated 5 years ago
- 跟幾個朋友 study group 所用的教材☆21Dec 8, 2015Updated 10 years ago
- 日本の飲食店オープンデータ☆13May 6, 2021Updated 5 years ago
- A modular chatbot experiment☆13Jun 7, 2022Updated 4 years ago
- WASI logging API☆26Oct 2, 2024Updated last year
- It replaces all of your images by Kemono Friends☆17Aug 27, 2024Updated last year
- Chocolate Doom backported to DOS☆13Jul 10, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Custom hl.exe with improvements☆12Jul 17, 2024Updated 2 years ago
- Calculate Pi using the Leibniz formula.☆11Jan 11, 2017Updated 9 years ago
- Chrome Extension☆12May 9, 2021Updated 5 years ago
- A small interpreted easy extendable programming language.☆18Nov 26, 2025Updated 7 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
- a repl puzzle game for programmer's day by Elixir☆11Oct 26, 2016Updated 9 years ago
- Rust bindings to MinHook.☆14Jan 17, 2021Updated 5 years ago