Source files for TheoremDep - a theorem dependency tracker
☆22May 17, 2026Updated 5 months ago
Alternatives and similar repositories for theoremdep
Users that are interested in theoremdep are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Recursively generate HTML directory listing.☆11Nov 20, 2022Updated 3 years ago
- Haskell implementation of the categorical abstract machine☆14Apr 27, 2017Updated 9 years ago
- A "small" LISP interpreter written in C++☆12Dec 12, 2014Updated 11 years ago
- https://www.gnu.org/software/mit-scheme/☆10Jun 15, 2012Updated 14 years ago
- A testing framework for Standard ML.☆13Dec 29, 2025Updated 10 months 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.
- ☆10May 26, 2016Updated 10 years ago
- A purely functional higher order logic kernel☆15Sep 12, 2026Updated last month
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- A DSL for Linear Temporal Logic + Interface with Z3 for solving☆11Mar 12, 2015Updated 11 years ago
- Shiny-Dashboard using AdminLTE-3 Template☆11Oct 30, 2026Updated last week
- R Package: ICD-10-GM Metadata☆12Sep 23, 2023Updated 3 years ago
- ML Basis for Poly/ML☆14Oct 18, 2025Updated last year
- Phone-free bridge connecting the Enabot EBO SE robot to Home Assistant — no phone, no cloud. Runs the TUTK/Kalay client on a Raspberry Pi…☆16Jun 20, 2026Updated 4 months ago
- Temporal Logic Extractor☆12May 12, 2017Updated 9 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.
- A small lisp compiler / interpreter written using idiomatic C++☆15Apr 16, 2016Updated 10 years ago
- Standard ML Parser Combinator Library☆17Jan 9, 2026Updated 9 months ago
- BPE Tokenizer for OpenAI's models☆14Aug 31, 2026Updated 2 months ago
- Deep Reinforcement Learning with LTL goals.☆10May 19, 2020Updated 6 years ago
- Quarto extension to implement RevealJS code-focus☆15Jan 28, 2023Updated 3 years ago
- System F in coq.☆19Jan 27, 2015Updated 11 years ago
- Physics Derivation Graph: mathematical connections among equations☆21Jul 25, 2026Updated 3 months ago
- Boolean satisfiability for propositional logic in Python☆15Aug 19, 2025Updated last year
- SMC-LTL: SMC-Based LTL MultiRobot Motion Planner☆14Jul 24, 2023Updated 3 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.
- Learn You Some Algebras for Glorious Good!☆17Jan 1, 2015Updated 11 years ago
- A super gallery of quarto websites to help inspire and connect.☆17Feb 6, 2026Updated 9 months ago
- Examples for the VSRL-Framework☆12Sep 17, 2025Updated last year
- A bare-bones LCF-style proof assistant☆26Aug 13, 2019Updated 7 years ago
- Parallelized Cross Entropy Method☆14Jul 26, 2023Updated 3 years ago
- ☆20Jan 27, 2023Updated 3 years ago
- This is a mirror of the official cmucl repo at gitlab.common-lisp.net☆30Oct 27, 2026Updated last week
- Physarum Powered Differentiable Linear Programming Layers☆17Oct 27, 2021Updated 5 years ago
- Similarity and distance measures for clustering and record linkage applications in R☆18Sep 23, 2025Updated last year
- 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.
- ☆21Apr 7, 2026Updated 7 months ago
- Julia wrapper for the Spot LTL and automata manipulation library☆21Jan 20, 2026Updated 9 months ago
- optimising compiler for Haskell's intermediate representation (STG) to LLVM IR☆32May 15, 2019Updated 7 years ago
- In this section I am going to teach an approach to behavior planning that uses something called a Finite State Machine to solve the behav…☆17Dec 19, 2019Updated 6 years ago
- Haskell implementation of the Edinburgh Logical Framework☆34Jan 12, 2026Updated 9 months ago
- A Declarative Theorem Prover for First-Order Classical Logic☆32Jun 14, 2024Updated 2 years ago
- Machine Learning for Mathematics and Logics☆16Apr 1, 2025Updated last year