AutoMATES: Automated Model Assembly from Text, Equations, and Software
☆25Sep 18, 2023Updated 3 years ago
Alternatives and similar repositories for automates
Users that are interested in automates are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SKEMA: Scientific Knowledge Extraction and Model Analysis☆12May 17, 2024Updated 2 years ago
- Machine reading system for World Modelers☆38Feb 13, 2024Updated 2 years ago
- ☆12Jan 11, 2022Updated 4 years ago
- Small examples showing how to use Odin for various IE tasks☆16Jun 1, 2017Updated 9 years ago
- Bayesian Assessment of Hypotheses☆26Jul 6, 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.
- ☆13Jun 21, 2017Updated 9 years ago
- ☆21Jul 15, 2024Updated 2 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 5 years ago
- ☆15Apr 29, 2021Updated 5 years ago
- Implementation of generative semantic grammar.☆17Jun 2, 2022Updated 4 years ago
- This code accompanies the paper "Information-Theoretic Probing for Linguistic Structure" published in ACL 2020.☆22Apr 27, 2020Updated 6 years ago
- Formal grammars in Lean 3☆10Aug 14, 2023Updated 3 years ago
- ☆13Nov 30, 2022Updated 3 years ago
- a little library to help me with things involving Koopman operators☆12Mar 3, 2022Updated 4 years 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.
- Uncertainty quantification using martingales for misspecified Gaussian processes☆10Feb 15, 2021Updated 5 years ago
- The OpenAPI Specification Repository☆12Jul 12, 2023Updated 3 years ago
- ☆18Sep 21, 2023Updated 3 years ago
- C++ code and documentation for the MFlash PKDD'16 publication☆10Oct 25, 2016Updated 9 years ago
- ☆21Oct 15, 2022Updated 3 years ago
- ☆10Apr 23, 2017Updated 9 years ago
- Gaussian processes regression models with linear inequality constraints☆16Jul 10, 2024Updated 2 years ago
- Live survey of off-the-shelf language identification tools for python☆27Apr 13, 2022Updated 4 years ago
- Documenting various metrics available for open source projects☆14Jan 4, 2024Updated 2 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.
- Microcontroller Register Viewer for GDB☆15Feb 23, 2018Updated 8 years ago
- Entailment rules extracted from RTE datasets using a modified Robinson Resolution algorithm☆12Jun 8, 2015Updated 11 years ago
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Jun 5, 2018Updated 8 years ago
- Provides an RPC interface to automate VSCode from other processes☆11May 29, 2021Updated 5 years ago
- Chess engine written in C++☆14Apr 18, 2026Updated 5 months ago
- A Workbench for Autograding Retrieve/Generate Systems☆15Jun 30, 2025Updated last year
- Experimentation code for the article "Building Topic Models Based on Anchor Words" based on the paper "Learning Topic Models: Going beyon…☆15May 13, 2014Updated 12 years ago
- An Efficient Convex Optimization-based Framework for Signal Temporal Logic (STL) Specifications☆17Jun 7, 2023Updated 3 years ago
- ☆15Apr 16, 2021Updated 5 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.
- ☆15Mar 7, 2018Updated 8 years ago
- Online partial evaluator for pure Prolog programs (with built-ins)☆13Jan 12, 2026Updated 8 months ago
- libpypa is a Python parser implemented in pure C++☆10May 10, 2015Updated 11 years ago
- The opentheory tool processes higher order logic theory packages☆19Jun 19, 2026Updated 3 months ago
- Generic information for people in the CLU lab☆12Oct 20, 2021Updated 4 years ago
- A formalization of first-order logic and Peano's axioms in Python☆21Jun 21, 2025Updated last year
- Employee Directory sample application built with Breeze JS☆19Apr 6, 2018Updated 8 years ago