Source files for TheoremDep - a theorem dependency tracker
☆22May 17, 2026Updated last week
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:
- Generate a prerequisite-tracking static website. Similar to metacademy.☆10Feb 2, 2023Updated 3 years ago
- Theory of Computing Report☆14Nov 13, 2025Updated 6 months ago
- Compiler Construction course project☆10May 6, 2017Updated 9 years ago
- ☆12Nov 3, 2021Updated 4 years ago
- ☆10May 26, 2016Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- BPE Tokenizer for OpenAI's models☆14Apr 23, 2026Updated last month
- Shiny-Dashboard using AdminLTE-3 Template☆11Apr 10, 2026Updated last month
- TeX Parser in Haskell☆11Aug 12, 2017Updated 8 years ago
- Forked robosuite for LASER project☆12Jan 8, 2021Updated 5 years ago
- R Package: ICD-10-GM Metadata☆11Sep 23, 2023Updated 2 years ago
- ☆13Feb 5, 2025Updated last year
- RVC notation☆20Sep 2, 2021Updated 4 years ago
- A DSL for Linear Temporal Logic + Interface with Z3 for solving☆11Mar 12, 2015Updated 11 years ago
- ☆10Jan 4, 2022Updated 4 years 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.
- Tool for converting LaTeX-prepared documents to Wordpress-ready HTML☆14Mar 11, 2025Updated last year
- SMC-LTL: SMC-Based LTL MultiRobot Motion Planner☆14Jul 24, 2023Updated 2 years ago
- Temporal Logic Extractor☆12May 12, 2017Updated 9 years ago
- A bare-bones LCF-style proof assistant☆25Aug 13, 2019Updated 6 years ago
- Similarity and distance measures for clustering and record linkage applications in R☆19Sep 23, 2025Updated 8 months ago
- A super gallery of quarto websites to help inspire and connect.☆17Feb 6, 2026Updated 3 months ago
- Deep Reinforcement Learning with LTL goals.☆10May 19, 2020Updated 6 years ago
- Guest lecture on Shiny deployments at University of Illinois Urbana-Champaign's STAT 447☆21Apr 10, 2025Updated last year
- Haskell implementation of the Edinburgh Logical Framework☆32Jan 12, 2026Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Parallelized Cross Entropy Method☆14Jul 26, 2023Updated 2 years ago
- ☆19Jan 3, 2024Updated 2 years ago
- A Quarto extension to add preview colour as a coloured symbol next to colour code in HTML, PDF, Typst, Docx, Reveal.js, Beamer, and Power…☆38Apr 15, 2026Updated last month
- Machine Learning for Mathematics and Logics☆16Apr 1, 2025Updated last year
- Julia wrapper for the Spot LTL and automata manipulation library☆21Jan 20, 2026Updated 4 months ago
- ☆31Jan 20, 2018Updated 8 years ago
- Actor critic reinforcement learning + motion and task planning under LTL tasks + wireless sensor network routing☆15Mar 6, 2021Updated 5 years ago
- [On-CRAN] Automatic Error and Warning Search from R☆27Aug 18, 2025Updated 9 months ago
- Exact linear algebra functions☆43Apr 20, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Live shinydashboard theme designer☆22Jul 13, 2022Updated 3 years ago
- Uses LLMs to translate R help docs on the fly☆32Nov 10, 2025Updated 6 months ago
- RAD: Reinforcement Learning with Augmented Data (code for procgen experiments)☆19Mar 29, 2021Updated 5 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
- Network Visualization Workshop☆24Oct 21, 2022Updated 3 years ago
- Logic Reinforcement Learning☆21Oct 20, 2025Updated 7 months ago
- A Lightweight, Flexible, and Fast Data Validation Package that Can Handle Data of all Sizes☆30Apr 10, 2026Updated last month