Theorems that rule this multiverse
β11Oct 6, 2018Updated 8 years ago
Alternatives and similar repositories for Theorems
Users that are interested in Theorems are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- π§ζ½ε·₯δΈπ§ η¨ Arend εθ―ζηδΊ€δΊεΌζη¨β15Sep 7, 2022Updated 4 years ago
- miniKanren in Pharoβ12Jun 10, 2024Updated 2 years ago
- A microKanren framework for implementing constraints.β19Aug 13, 2026Updated 3 months ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theoryβ15Oct 15, 2018Updated 8 years ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2β25Dec 5, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer β’ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- rust binding for lean4β12Jul 1, 2023Updated 3 years ago
- My type-ups for copilot to learn from.β11Aug 30, 2022Updated 4 years ago
- Lecture note on Lambda Calculus and Types for FLOLACβ27Jun 9, 2026Updated 5 months ago
- Lisp Flavoured C++β29Mar 12, 2021Updated 5 years ago
- A Simple Lisp Interpreterβ10Feb 21, 2022Updated 4 years ago
- Implementation for ICFP 2020 paperβ53Jul 5, 2021Updated 5 years ago
- Normalization by evaluation of simply typed combinators.β27Feb 24, 2022Updated 4 years ago
- k theorem proverβ11Aug 16, 2022Updated 4 years ago
- Resume (template) written in Typstβ11Aug 13, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Libraries and tools for topological and geometric modeling.β17Mar 23, 2025Updated last year
- My Mikan scratchpadβ13Nov 5, 2026Updated last week
- A work-in-progress structure editor for the cooltt proof assistant.β18Jul 28, 2022Updated 4 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITEβ14Oct 9, 2023Updated 3 years ago
- Yet another Scheme interpreter.β11Sep 17, 2022Updated 4 years ago
- Dynamically-typed Haskell expressions involving applications and variables.β22Jan 30, 2025Updated last year
- Towards changing things and see if it proofsβ61Jul 12, 2021Updated 5 years ago
- The MLPolyR programming language, revivedβ25Oct 15, 2020Updated 6 years ago
- A powerful, easy-to-use, modern Java core library for the futureβ64Oct 20, 2026Updated 3 weeks ago
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- mirror of A simple type-theoretic language: Mini-TTβ41Feb 15, 2017Updated 9 years ago
- Solutions for online code challenges. Don't be evil.β15Jan 5, 2019Updated 7 years ago
- This is a codeless and useless repo.β14Jul 5, 2018Updated 8 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backendβ24Feb 6, 2020Updated 6 years ago
- tak is a benchmark thing π (or maybe just an excuse to collect all the languages)β14Oct 24, 2025Updated last year
- β12Aug 19, 2021Updated 5 years ago
- A categorical semantics library in Agda.β16Dec 22, 2019Updated 6 years ago
- Elaboration with inductive typesβ16Jun 1, 2023Updated 3 years ago
- β16Aug 2, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Successor project: https://github.com/thautwarm/Quick-Backendβ24Apr 26, 2019Updated 7 years ago
- Haskell implementation of a version of cubical type theory developed for my master thesisβ16Nov 19, 2022Updated 3 years ago
- β16Mar 11, 2022Updated 4 years ago
- A terminal-based, JIT-compiled CHIP-8 VM in Zigβ15Aug 15, 2023Updated 3 years ago
- β30Updated this week
- the compiler for the Cm programming languageβ31Dec 13, 2017Updated 8 years ago
- A teaching aid library for formal languages and compiler coursesβ14Nov 4, 2026Updated last week
Are these results useful?