The implementation of FOLD-R++ algorithm
☆20Nov 27, 2023Updated 2 years ago
Alternatives and similar repositories for FOLD-R-PP
Users that are interested in FOLD-R-PP are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Yet Another (actually non-)Relativistic Renderer☆12Apr 4, 2022Updated 4 years ago
- Depression and anxiety detection on social media with ML - first place in UTD's 2024 AI workshop☆11Nov 24, 2024Updated last year
- Mod for Overcooked 1 to enable user-customizable keyboard controls☆13Jul 22, 2020Updated 6 years ago
- A platform for hackathon event management.☆50Jan 27, 2025Updated last year
- Switchboard Security & Privacy Plug☆16Jul 25, 2026Updated last month
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A simple way to manage and store the data related to all your research papers!☆17Apr 10, 2023Updated 3 years ago
- IPython / Jupyter notebook magic☆21Sep 7, 2018Updated 7 years ago
- Discover the best clubs and organizations at UTD☆24Updated this week
- ☆14Sep 15, 2022Updated 3 years ago
- Developer dashboard for publishing to AppCenter☆14Aug 3, 2026Updated 3 weeks ago
- BoolXAI is a research library for machine learning for Explainable AI (XAI) based on expressive Boolean formulas.☆21Oct 10, 2025Updated 10 months ago
- An algorithm for parsing any planning problem in PDDL format☆20Jan 19, 2023Updated 3 years ago
- (IJCAI 2019) Submodular Batch Selection for Training Deep Neural Networks☆21Nov 22, 2022Updated 3 years ago
- See and get in touch with your contacts from elementary OS☆25Aug 17, 2026Updated 2 weeks ago
- AI Agents on 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.
- An Educational C COmpiler written in Python, written for use in my Practical Compiler Design course☆13Apr 26, 2023Updated 3 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Mar 25, 2023Updated 3 years ago
- Experimentation framework for Popper☆25Jul 24, 2025Updated last year
- ☆18Nov 22, 2022Updated 3 years ago
- A wireframe renderer written in OCaml☆21Oct 18, 2023Updated 2 years ago
- Algorithms for solving temporal planning problems☆29Jan 27, 2023Updated 3 years ago
- ☆26Jan 27, 2026Updated 7 months ago
- A C implementation of Alien: Fate of the Nostromo, a 2021 board game of the same name☆20Sep 22, 2025Updated 11 months ago
- Public app reviews for the elementary AppCenter Flatpak repository☆25Aug 11, 2026Updated 2 weeks ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Multi-purpose bot for hypixel skyblock☆16Apr 12, 2024Updated 2 years ago
- Library to enable using graphviz in Racket programs☆25Oct 21, 2021Updated 4 years ago
- Minecraft U Curriculum☆58Jun 22, 2024Updated 2 years ago
- PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers☆42Jun 12, 2023Updated 3 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆41Jun 13, 2026Updated 2 months ago
- Efficiently Composable Data Augmentation on the GPU with Jax☆42May 16, 2025Updated last year
- The Code Tracer☆33Jan 22, 2025Updated last year
- ☆27Updated this week
- Light-weight reasoning-loop agent library for JavaScript☆48Feb 19, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Easy bindings between Lean and Python.☆35Aug 10, 2026Updated 2 weeks ago
- A metalanguage for creating sophisticated DSLs in Racket.☆41Oct 14, 2025Updated 10 months ago
- Mobile acquisition and inferencing client☆95Aug 12, 2026Updated 2 weeks ago
- Java Cup Parser Generator☆28Jun 8, 2022Updated 4 years ago
- ☆42Nov 11, 2024Updated last year
- The programming language for Vaporeon connoisseurs☆32Nov 14, 2022Updated 3 years ago
- Simple library to automatically visualize graph structures, especially scene graphs.☆46Jul 25, 2019Updated 7 years ago