AutoMATES: Automated Model Assembly from Text, Equations, and Software
☆25Sep 18, 2023Updated 2 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
- 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
- ☆13Jun 21, 2017Updated 9 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.
- Formal grammars in Lean 3☆10Aug 14, 2023Updated 3 years ago
- Network infrastructure for collaborative studies across disparate data nodes and researches☆15Oct 15, 2024Updated last year
- a little library to help me with things involving Koopman operators☆12Mar 3, 2022Updated 4 years ago
- mdBook preprocessor for indexing☆20Aug 26, 2026Updated last week
- ☆18Sep 21, 2023Updated 2 years ago
- Logic Circuits from the Juice library☆51Jun 15, 2024Updated 2 years ago
- C++ code and documentation for the MFlash PKDD'16 publication☆10Oct 25, 2016Updated 9 years ago
- ☆30Apr 18, 2026Updated 4 months ago
- ☆10Apr 23, 2017Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Gaussian processes regression models with linear inequality constraints☆16Jul 10, 2024Updated 2 years ago
- A Swift library for carefully refactoring critical paths.☆13Aug 5, 2026Updated 3 weeks ago
- Microcontroller Register Viewer for GDB☆15Feb 23, 2018Updated 8 years ago
- Uncertain natural language inference☆15Jun 12, 2023Updated 3 years ago
- Octave/Matlab toolbox for network analysis – part of the KONECT project by Jérôme Kunegis, University of Namur☆26Feb 26, 2023Updated 3 years ago
- An OpenMETA model for the conceptual design of an autonomous transport aircraft, inspired by Vahana from A^3 by Airbus.☆14Jun 28, 2021Updated 5 years ago
- Provides an RPC interface to automate VSCode from other processes☆11May 29, 2021Updated 5 years ago
- IPython notebook with synthetic experiments for AFLite, based on the ICML 2020 paper, "Adversarial Filters of Dataset Biases".☆16Aug 14, 2020Updated 6 years ago
- Scalable Neural-Probabilistic Answer Set Programming☆18May 23, 2024Updated 2 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.
- 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
- ☆14Dec 14, 2021Updated 4 years ago
- Nonblocking data structures☆12Jan 25, 2015Updated 11 years ago
- Online partial evaluator for pure Prolog programs (with built-ins)☆13Jan 12, 2026Updated 7 months ago
- The source code repository for the FactorBase system☆11Mar 17, 2024Updated 2 years ago
- ☆16Sep 28, 2023Updated 2 years ago
- TensorFlow plugin for Gen probabilistic programming system.☆10Apr 7, 2021Updated 5 years ago
- A formalization of first-order logic and Peano's axioms in Python☆21Jun 21, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Visual Studio Code syntax highlighting for Answer Set Programming☆13Jan 2, 2025Updated last year
- The socket.io layer of Overleaf for real-time editor interactions☆17Aug 6, 2021Updated 5 years ago
- ExportAll.jl: Exports all symbols of a module. Use at your own risk☆12Feb 18, 2020Updated 6 years ago
- Automates the creation of full-text (sound and text) ebooks in epub/epub3/daisy format, the webserver/client creates smil files to sync a…☆10Nov 12, 2021Updated 4 years ago
- A* CCG Parser with a Supertag and Dependency Factored Model☆102Updated this week
- General Bayesian non-parametric hidden Markov model☆19Oct 17, 2013Updated 12 years ago
- Catamount is a compute graph analysis tool to load, construct, and modify deep learning models and to symbolically analyze their compute …☆14May 18, 2021Updated 5 years ago