Source files for TheoremDep - a theorem dependency tracker
☆22May 17, 2026Updated 2 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:
- Theory of Computing Report☆14Jul 6, 2026Updated 2 weeks ago
- BPE Tokenizer for OpenAI's models☆14Apr 23, 2026Updated 3 months ago
- ☆13Feb 5, 2025Updated last year
- R Package: ICD-10-GM Metadata☆12Sep 23, 2023Updated 2 years ago
- Quarto extension to implement RevealJS code-focus☆15Jan 28, 2023Updated 3 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.
- Temporal Logic Extractor☆12May 12, 2017Updated 9 years ago
- SMC-LTL: SMC-Based LTL MultiRobot Motion Planner☆14Jul 24, 2023Updated 3 years ago
- Public repository of R code and data for reproducing the analysis in the companion manuscript titled "Empirical Dietary Patterns Associat…☆14Jun 11, 2023Updated 3 years ago
- Repeated Evaluation☆17Jan 23, 2024Updated 2 years ago
- ☆16Nov 14, 2025Updated 8 months ago
- Economics diagrams in Ti𝑘Z☆19Nov 2, 2019Updated 6 years ago
- A Custom Server for the Steam Summer Game 2015☆21Jun 26, 2015Updated 11 years ago
- A super gallery of quarto websites to help inspire and connect.☆17Feb 6, 2026Updated 5 months ago
- ☆20Jan 27, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Physarum Powered Differentiable Linear Programming Layers☆17Oct 27, 2021Updated 4 years ago
- ☆19Jan 3, 2024Updated 2 years ago
- Quarto template for posit::conf 2023 slides☆19Aug 6, 2023Updated 2 years ago
- Machine Learning for Mathematics and Logics☆16Apr 1, 2025Updated last year
- RAD: Reinforcement Learning with Augmented Data (code for procgen experiments)☆19Mar 29, 2021Updated 5 years ago
- Julia wrapper for the Spot LTL and automata manipulation library☆21Jan 20, 2026Updated 6 months ago
- [On-CRAN] Automatic Error and Warning Search from R☆27Aug 18, 2025Updated 11 months ago
- DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning☆24Apr 17, 2021Updated 5 years ago
- r2typ (R to Typst): An R package for generating Typst markup☆21Mar 26, 2026Updated 4 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.
- Logic Reinforcement Learning☆21Oct 20, 2025Updated 9 months ago
- For our ICRA 2025 paper 🏆 "SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models" by Yi Wu, Zikang …☆20May 17, 2026Updated 2 months ago
- [CoRL 2020] Learning a natural-language to LTL executable semantic parser for grounded robotics☆16Jul 31, 2022Updated 3 years ago
- Network Visualization Workshop☆24Oct 21, 2022Updated 3 years ago
- Quarto Extension to enable DesignMode☆30May 18, 2026Updated 2 months ago
- ☆12Jun 15, 2020Updated 6 years ago
- IPC combined with EventEmitter☆16Jan 15, 2018Updated 8 years ago
- An open-source cross-platform PDF reader with built-in hypothes.is annotations☆10Mar 5, 2016Updated 10 years ago
- Series of CLI tools for Hyperswarm☆18Jun 18, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Generates ffi-compatible layer for your rust code☆11Jul 4, 2020Updated 6 years ago
- Repository for Robust Trajectory Optimization with Stochastic Complementarity☆12Dec 15, 2020Updated 5 years ago
- Encapsulate dom-anchor-text-quote and dom-anchor-text-position for use in browser scripts☆14Sep 2, 2021Updated 4 years ago
- Utility methods related to public key cryptography to be used with distributed mutable storage☆15May 13, 2020Updated 6 years ago
- Mobile Robot Control via Goal-Conditioned Reinforcement Learning☆23Oct 13, 2023Updated 2 years ago
- ☆10Mar 14, 2018Updated 8 years ago
- V. Krishna's Alar (Kannada - English) open data dictionary corpus licensed under OdBL.☆67Aug 4, 2025Updated 11 months ago