Repository for the QED interactive text and possible extensions
☆118Jan 25, 2025Updated last year
Alternatives and similar repositories for QED
Users that are interested in QED are comparing it to the libraries listed below
Sorting:
- ☆12Dec 25, 2023Updated 2 years ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 6 months ago
- Semantic Parser with Execution☆13Dec 8, 2017Updated 8 years ago
- Python term rewriting☆30Feb 14, 2013Updated 13 years ago
- Lisp for JSON☆20Dec 29, 2017Updated 8 years ago
- tools for the book "Concepts of Programming Languages"☆20Jan 1, 2026Updated 2 months ago
- CS1 through Type Theory☆17Jan 4, 2017Updated 9 years ago
- Python package to convert LaTeX markup to DOM☆15Jan 28, 2025Updated last year
- ☆18Feb 5, 2018Updated 8 years ago
- ☆27Feb 3, 2026Updated last month
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆35Updated this week
- Verilog development and verification project for HOL4☆28Apr 25, 2025Updated 10 months ago
- Lecture notes from Cambridge maths☆73Feb 1, 2024Updated 2 years ago
- Search comments and highlights annotations in PDF documents.☆12May 4, 2023Updated 2 years ago
- A desktop application that allows you to record audio from specific applications on Linux. Built with Deno, Svelte, and WebView.☆17Feb 27, 2026Updated last week
- FUSION is an open-source project aimed at revolutionizing networking through the simulation of advanced SD-EONs and AI-enhanced networks,…☆13Feb 18, 2026Updated 2 weeks ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆45Jan 23, 2026Updated last month
- DMRG using Matrix Product States in Julia☆30Aug 18, 2020Updated 5 years ago
- tool and many hash functions: crc16, crc32, md5, sha1, sha256, sha512, sha3_224, sha3_256, sha3_384, sha3_512☆11Apr 21, 2022Updated 3 years ago
- Mastodon server running for the Doubanius Tertius project☆10Apr 4, 2022Updated 3 years ago
- Converts a SourceGear Vault repository to Git☆16Apr 12, 2023Updated 2 years ago
- Lean type-checker written in Scala.☆41Mar 13, 2022Updated 3 years ago
- The official engine source code for Project ORKA☆10Nov 25, 2024Updated last year
- Calculating dark matter scattering and absorption rates with the energy loss functions (ELF)☆10Oct 31, 2025Updated 4 months ago
- Pintograph simulator in Javascript☆12Oct 23, 2025Updated 4 months ago
- A type-safe HTTP client for Swift, inspired by Retrofit☆10Apr 10, 2019Updated 6 years ago
- A command line utility for downloading Xbox screenshots and game clips to local storage☆10Apr 22, 2024Updated last year
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated last month
- Customize recoil helper for PUBG using C++☆12Apr 4, 2018Updated 7 years ago
- HAR Proxy Server is a simple proxy server that records and plays back HTTP requests and responses in HAR format. It can be used as a stan…☆13Oct 15, 2025Updated 4 months ago
- Sparse symmetric indefinite solver implemented with a runtime system☆13May 11, 2020Updated 5 years ago
- Toolkit for Bayesian scaling analysis☆14Sep 8, 2022Updated 3 years ago
- A GNU Social-compatible microblogging server☆37Feb 25, 2026Updated last week
- A repo for things that don't have a better place to go☆13May 24, 2025Updated 9 months ago
- Implementation of the paper "Predicting gamma passing rates for portal dosimetry based IMRT QA using machine learning"☆12Oct 8, 2021Updated 4 years ago
- ☆10Oct 3, 2018Updated 7 years ago
- FlawlessChips is a C# library that provides gate-level simulation of various 8-bit chips.☆10Jan 17, 2026Updated last month
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 7 years ago
- ☆11Sep 8, 2022Updated 3 years ago