Repository for the QED interactive text and possible extensions
☆123Jan 25, 2025Updated last year
Alternatives and similar repositories for QED
Users that are interested in QED are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Web page for exponent pair database☆12Aug 5, 2024Updated last year
- Firefox webextension showing number of tabs☆10Mar 2, 2022Updated 4 years ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- Python term rewriting☆30Feb 14, 2013Updated 13 years ago
- A simple yet nice toolset for Truffle Framework development.☆12Apr 9, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- CS1 through Type Theory☆17Jan 4, 2017Updated 9 years ago
- Lean type-checker written in Scala.☆42Mar 13, 2022Updated 4 years ago
- Lean 4 bindings to libcurl☆14Feb 3, 2026Updated 4 months ago
- Interface for conditional markets for Gnosis' Conditional Token Standard☆16Dec 9, 2022Updated 3 years ago
- Experiments with some ways of automating reasoning in lean 4☆19Apr 20, 2024Updated 2 years ago
- The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)☆70Mar 28, 2024Updated 2 years ago
- Our first-year mathematics graduate school notes☆10Dec 20, 2021Updated 4 years ago
- A clone of Joe Marshall's Rebol 1.0 to Scheme compiler.☆17Sep 23, 2012Updated 13 years ago
- agda-mode on Atom☆57Feb 26, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Prediction Market Trading Interface for Gnosis Contracts☆21Jun 21, 2019Updated 6 years ago
- Prolog in AWK☆17Mar 9, 2017Updated 9 years ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆28Mar 2, 2026Updated 3 months ago
- Book lucid interpreter written in python☆25Jul 8, 2019Updated 6 years ago
- Plain-text declaration export for Lean 4☆35Jun 8, 2026Updated last week
- Anagram game for Android built with Unity☆11May 13, 2016Updated 10 years ago
- A search engine built on the Unpaywall database☆20Mar 13, 2024Updated 2 years ago
- migration of rebol.net wiki to asciidoc based site☆17May 2, 2017Updated 9 years ago
- Exceptions to the ABC conjecture in Lean☆20Jan 26, 2026Updated 4 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Grid paper maker☆14Nov 16, 2019Updated 6 years ago
- The Candle theorem prover (fork of the HOL Light sources)☆23May 16, 2026Updated last month
- Collection of diagrams from articles☆29Feb 17, 2025Updated last year
- ☆10Apr 19, 2023Updated 3 years ago
- old school NLP text summarization in .net☆11Jun 27, 2020Updated 5 years ago
- Source code of Mathematical Surprises (open access)☆15Mar 24, 2025Updated last year
- ☆19Mar 15, 2020Updated 6 years ago
- Lisp for JSON☆20Dec 29, 2017Updated 8 years ago
- Optional types for Prolog☆17Dec 12, 2019Updated 6 years 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 all public Rebol3 sources☆25May 2, 2021Updated 5 years ago
- Order random boba☆14Jul 7, 2019Updated 6 years ago
- Feel free to contribute☆12Jan 1, 2021Updated 5 years ago
- ☆12Jul 1, 2019Updated 6 years ago
- ☆77May 8, 2026Updated last month
- Chart parser (Earley SPPF)☆27Dec 6, 2018Updated 7 years ago
- Formalisation of a capability machine and principles for reasoning about security properties☆27Mar 12, 2026Updated 3 months ago