Source files for TheoremDep - a theorem dependency tracker
☆22Aug 9, 2025Updated 7 months ago
Alternatives and similar repositories for theoremdep-source
Users that are interested in theoremdep-source are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Theory of Computing Report☆14Nov 13, 2025Updated 4 months ago
- Advantage Alignment Algorithms (ICLR 2025 oral)☆17Apr 7, 2025Updated 11 months ago
- confirm that a SpiderMonkey format AST represents an ECMAScript program☆27Aug 24, 2015Updated 10 years ago
- A graduate-level introduction to reinforcement learning as a framework for modeling, optimization, and control, connecting dynamic models…☆18Dec 9, 2025Updated 3 months ago
- csl: PyTorch-based Constrained Learning☆11Jun 1, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ML Basis for Poly/ML☆13Oct 18, 2025Updated 5 months ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆12Jan 12, 2021Updated 5 years ago
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Aug 22, 2017Updated 8 years ago
- ☆10May 26, 2016Updated 9 years ago
- BPE Tokenizer for OpenAI's models☆14Apr 14, 2025Updated 11 months ago
- Standard ML Parser Combinator Library☆17Jan 9, 2026Updated 2 months ago
- Generalized method chaining syntax for Julia☆25Feb 1, 2023Updated 3 years ago
- Advents of Code in Dyalog APL☆10Jan 19, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆13Feb 5, 2025Updated last year
- RVC notation☆20Sep 2, 2021Updated 4 years ago
- Physics Derivation Graph: mathematical connections among equations☆23Feb 3, 2026Updated last month
- A DSL for Linear Temporal Logic + Interface with Z3 for solving☆11Mar 12, 2015Updated 11 years ago
- racket llvm C-API bindings☆17Feb 7, 2026Updated last month
- mark/sweep garbage collector for C☆30Mar 24, 2012Updated 14 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆29Jun 14, 2024Updated last year
- Journey to the Center of the Lambda Calculus☆14Aug 31, 2023Updated 2 years ago
- ☆20Jan 4, 2023Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A self-contained implementation of forward and backward inference for intuitionistic propositional logic☆18Oct 10, 2017Updated 8 years ago
- Fixed length vector for haskell☆21Feb 28, 2026Updated 3 weeks ago
- ☆21Feb 28, 2026Updated 3 weeks ago
- ☆27Mar 26, 2024Updated 2 years ago
- Like APL, but with emojis☆15Mar 28, 2022Updated 3 years ago
- Tool for converting LaTeX-prepared documents to Wordpress-ready HTML☆14Mar 11, 2025Updated last year
- The "A" portion of the "A+" language, created by Arthur Whitney at Morgan Stanley.☆15Dec 22, 2015Updated 10 years ago
- Repeated Evaluation☆17Jan 23, 2024Updated 2 years ago
- scaffolding for my c projects☆12Apr 28, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- System F in coq.☆19Jan 27, 2015Updated 11 years ago
- This is a mirror of the official cmucl repo at gitlab.common-lisp.net☆30Updated this week
- Temporal Logic Extractor☆12May 12, 2017Updated 8 years ago
- A bare-bones LCF-style proof assistant☆25Aug 13, 2019Updated 6 years ago
- 🧛🏻♂️ Dark theme for Spotify TUI☆21Mar 21, 2022Updated 4 years ago
- Repository for Computational Political Science course at Zeppelin University☆16May 4, 2021Updated 4 years ago
- A super gallery of quarto websites to help inspire and connect.☆17Feb 6, 2026Updated last month