KeelyHill / tuppers-formulaView external linksLinks
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:
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆32Feb 19, 2025Updated 11 months ago
- PAWSTECH kitter garden diree☆13May 12, 2025Updated 9 months ago
- WpWinNl repository on GitHub. Moved from CodePlex☆11Sep 11, 2016Updated 9 years ago
- Sage Math recompiled to run on the Raspberry Pi☆15Oct 9, 2015Updated 10 years ago
- POSTECH: Compiler Construction (Spring 2022)☆10Mar 10, 2023Updated 2 years ago
- This module appends the Odoo website builder building blocks collection with one more - HTML embedding building block.☆10Oct 14, 2015Updated 10 years ago
- 2D molecular dynamics simulation of dust in dusty plasmas☆11May 21, 2018Updated 7 years ago
- ☆11Jan 30, 2024Updated 2 years ago
- LangSmith C# SDK based on official LangSmith OpenAPI specification☆15Feb 9, 2026Updated last week
- Becker Cover custom component for Home Assistant☆11Mar 17, 2022Updated 3 years ago
- Asana Custom Component for Home-Assistant☆11Jun 2, 2024Updated last year
- A Docker image that exposes a volume over SFTP☆11Dec 20, 2018Updated 7 years ago
- Generatrum Linguarum, a conlang word generator library☆11Mar 28, 2023Updated 2 years ago
- ☆12May 17, 2023Updated 2 years ago
- Distrusts GPKI Root CA Certificate because their security and certificate management is bad as F***☆10Feb 17, 2019Updated 7 years ago
- Buildtime Trend Python library☆13Dec 11, 2022Updated 3 years ago
- Python implementation of Avro Phonetic☆15Feb 9, 2018Updated 8 years ago
- Mediator pattern and Command Query Responsibility Segregation (CQRS) implementation in .NET☆19Updated this week
- A library for working with relative times in JS.☆11Apr 10, 2015Updated 10 years ago
- Cashwarden application and API documentation.☆10Mar 18, 2021Updated 4 years ago
- Bist du schon drin?☆44Jan 1, 2025Updated last year
- Using a Field or Property attribute on parameters. Automaticaly generate private readonly fields or private properties. Forbid the use …☆11Nov 23, 2024Updated last year
- Document of WeCross https://wecross.readthedocs.io/zh_CN/latest/☆10Apr 8, 2024Updated last year
- ☆12Jan 20, 2026Updated 3 weeks ago
- ☆24Aug 2, 2025Updated 6 months ago
- A speed comparison between the GPUs offered by Google Colab vs the MacBook M1 Max 24 Core chip☆10May 25, 2023Updated 2 years ago
- "깡" 짤 생성기☆17Dec 10, 2025Updated 2 months ago
- Comparison between CUDA and CPU for PSO using 3-dimensional Levy function as test case☆14Jun 27, 2015Updated 10 years ago
- Repository for (for now) filing bug reports about PLAI.☆14Jul 5, 2025Updated 7 months ago
- JudiLing: An implementation for Linear Discriminative Learning in Julia.☆10Jan 24, 2026Updated 3 weeks ago
- metrics driven development☆10Feb 8, 2026Updated last week
- An unofficial API for https://getbring.com☆10Dec 8, 2022Updated 3 years ago
- Ttris is a tetraminoes game for TRS-80 Model 1/3 computers.☆13Sep 20, 2023Updated 2 years ago
- One command to update all your repos☆10Feb 24, 2024Updated last year
- ☆11Jun 25, 2021Updated 4 years ago
- Dochia automatically generates and executes negative and boundary testing so you can focus on creative problem-solving. Because nobody wa…☆134Nov 27, 2025Updated 2 months ago
- Blog of Watch Out News Agency, IIT Roorkee☆12Feb 9, 2026Updated last week
- WIP bl2_ext thingy for ARMv8 MTK devices☆23Jan 27, 2026Updated 2 weeks ago
- Kubernetes Operator for Azure DevOps Agents☆15Updated this week