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 εθ―ζηδΊ€δΊεΌζη¨β14Sep 7, 2022Updated 4 years ago
- miniKanren in Pharoβ12Jun 10, 2024Updated 2 years ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2β25Dec 5, 2024Updated last year
- A microKanren framework for implementing constraints.β19Aug 13, 2026Updated 2 months ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theoryβ15Oct 15, 2018Updated 8 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.
- rust binding for lean4β11Jul 1, 2023Updated 3 years ago
- Lecture note on Lambda Calculus and Types for FLOLACβ27Jun 9, 2026Updated 4 months ago
- Lisp Flavoured C++β29Mar 12, 2021Updated 5 years ago
- My type-ups for copilot to learn from.β11Aug 30, 2022Updated 4 years ago
- Normalization by evaluation of simply typed combinators.β27Feb 24, 2022Updated 4 years ago
- Implementation for ICFP 2020 paperβ53Jul 5, 2021Updated 5 years ago
- k theorem proverβ11Aug 16, 2022Updated 4 years ago
- Resume (template) written in Typstβ11Aug 13, 2026Updated 2 months ago
- My Agda/Mikan stuffβ13Aug 29, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer β’ AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Libraries and tools for topological and geometric modeling.β17Mar 23, 2025Updated last year
- 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
- The MLPolyR programming language, revivedβ25Oct 15, 2020Updated 6 years ago
- mirror of A simple type-theoretic language: Mini-TTβ41Feb 15, 2017Updated 9 years ago
- Towards changing things and see if it proofsβ61Jul 12, 2021Updated 5 years ago
- A powerful, easy-to-use, modern Java core library for the futureβ64Updated this week
- Proton VPN Special Offer - Get 70% off β’ AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- tak is a benchmark thing π (or maybe just an excuse to collect all the languages)β14Oct 24, 2025Updated 11 months ago
- Sucessor: https://github.com/thautwarm/Quick-Backendβ24Feb 6, 2020Updated 6 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
- β16Aug 2, 2023Updated 3 years ago
- The intraday seasonality of volatility and trading volume in the cryptocurrency marketβ14Updated this week
- Implementation of Kaplan and Zwick's soft heap. Collaboration with Alex Hollender.β14Oct 13, 2016Updated 10 years ago
- β12Aug 19, 2021Updated 5 years ago
- β30Updated this week
- 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.
- Elaboration with inductive typesβ16Jun 1, 2023Updated 3 years ago
- A categorical semantics library in Agda.β16Dec 22, 2019Updated 6 years ago
- A teaching aid library for formal languages and compiler coursesβ14May 5, 2026Updated 5 months ago
- HoTT group project to TeXify Cartmell's PhD thesis βGeneralised Algebraic Theories and Contextual Categoriesββ17Jan 6, 2026Updated 9 months ago
- 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