Repository for the QED interactive text and possible extensions
☆121Jan 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:
- ☆12Dec 25, 2023Updated 2 years ago
- Semantic Parser with Execution☆13Dec 8, 2017Updated 8 years ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 8 months ago
- Python term rewriting☆30Feb 14, 2013Updated 13 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- CS1 through Type Theory☆17Jan 4, 2017Updated 9 years ago
- Lean type-checker written in Scala.☆42Mar 13, 2022Updated 4 years ago
- Beautiful, interactive visualizations of logical inference☆153Mar 10, 2021Updated 5 years ago
- Lean 4 bindings to libcurl☆14Feb 3, 2026Updated 3 months ago
- Experiments with some ways of automating reasoning in lean 4☆18Apr 20, 2024Updated 2 years ago
- A tool for building Lean4 .olean files from Lean3 export data☆10Jul 28, 2021Updated 4 years ago
- Our first-year mathematics graduate school notes☆10Dec 20, 2021Updated 4 years ago
- agda-mode on Atom☆57Feb 26, 2021Updated 5 years ago
- Prolog in AWK☆17Mar 9, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Implementation of higher-order logic in Python☆68Feb 25, 2023Updated 3 years ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆28Mar 2, 2026Updated 2 months ago
- Book lucid interpreter written in python☆25Jul 8, 2019Updated 6 years ago
- A functional reactive GUI for John Conway's Game of Life.☆25Jun 20, 2016Updated 9 years ago
- Anagram game for Android built with Unity☆11May 13, 2016Updated 10 years ago
- Lexer and codec to work with LaTeX code in Python. Instead of using latexcodec, I encourage you to consider pylatexenc instead, which is …☆30Jun 17, 2025Updated 11 months ago
- A search engine built on the Unpaywall database☆20Mar 13, 2024Updated 2 years ago
- Red by Example - an accessible reference by example☆14Nov 29, 2022Updated 3 years ago
- Grid paper maker☆14Nov 16, 2019Updated 6 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.
- The Candle theorem prover (fork of the HOL Light sources)☆21May 16, 2026Updated last week
- ☆76May 31, 2025Updated 11 months ago
- Collection of diagrams from articles☆29Feb 17, 2025Updated last year
- ☆10Apr 19, 2023Updated 3 years ago
- Source code of Mathematical Surprises (open access)☆15Mar 24, 2025Updated last year
- CLISP based Common Lisp interpreter/compiler. Very compact C++ implementation.☆10Apr 24, 2016Updated 10 years ago
- Solutions to some exercises from Walter Rudin's Functional Analysis☆16Apr 24, 2026Updated last month
- Lisp for JSON☆20Dec 29, 2017Updated 8 years ago
- Optional types for Prolog☆17Dec 12, 2019Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Non Metric Space ( Approximate ) Library in R☆12Feb 2, 2023Updated 3 years ago
- Crossdart Chrome Extension, adds "Go to Declaration" and "Find Usages" to Dart projects on Github.☆12Jun 5, 2016Updated 9 years ago
- Feel free to contribute☆12Jan 1, 2021Updated 5 years ago
- PDFflow is parton distribution function interpolation library written in Python and based on the TensorFlow framework.☆11Jan 23, 2024Updated 2 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Feynrules and UFO models for SMEFT phenomenology☆16Oct 6, 2022Updated 3 years ago
- Chart parser (Earley SPPF)☆27Dec 6, 2018Updated 7 years ago