A copy of Alchemy 2, a set of tools to handle Markov Logic Networks.
☆28May 28, 2017Updated 9 years ago
Alternatives and similar repositories for alchemy2
Users that are interested in alchemy2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Sep 15, 2015Updated 10 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- Example of clingo usage on website as a client-side JS program☆14Aug 27, 2019Updated 6 years ago
- Code for "Explainable Data-Driven Optimization" (ICML 2023)☆13Jul 21, 2023Updated 2 years ago
- ☆10Oct 6, 2015Updated 10 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆13Mar 22, 2015Updated 11 years ago
- SSL certificate authority script package for creating and signing your own SSL/TLS certificates☆11Nov 28, 2025Updated 6 months ago
- Code & Experiments for "LILA: Language-Informed Latent Actions" to be presented at the Conference on Robot Learning (CoRL) 2021.☆13Nov 4, 2021Updated 4 years ago
- Create dozens/hundreds/thousands/millions of random examples based on a pest grammar (PEG). It can be used for generate string/structured…☆15Jun 8, 2021Updated 5 years ago
- Learning word embeddings with AdaGrad and Noise Contrastive Estimation, C++ 11.☆13Sep 22, 2014Updated 11 years ago
- SonarQube Korean Language Pack☆11Mar 23, 2021Updated 5 years ago
- Demo codes in our presentation about MXNet in AWS Seoul Summit 2017☆12Apr 24, 2017Updated 9 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆63Feb 10, 2023Updated 3 years ago
- Make pixel art in emacs buffers.☆14Feb 22, 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.
- ngrinder script recorder☆17Feb 10, 2014Updated 12 years ago
- Auto extract key in log files☆21Jul 5, 2018Updated 7 years ago
- ☆10Apr 23, 2017Updated 9 years ago
- An easy-to-use Source Engine inspired console for Godot with the ability to manipulate Godot Nodes.☆15Jul 24, 2020Updated 5 years ago
- TBEEF, a doubly ensemble framework for recommendation and prediction problems.☆20Apr 16, 2016Updated 10 years ago
- Python for Informatics: Exploring Information (Korean)☆29Sep 14, 2015Updated 10 years ago
- LibCP -- A Library for Conformal Prediction☆13Feb 26, 2015Updated 11 years ago
- Pytorch implimentation of the paper: "Deep Visual Constraints: Neural Implicit Models for Manipulation Planning from Visual Input"☆19Dec 23, 2022Updated 3 years ago
- Based on SciPy's normalized git stats, adapted for Deep Learning frameworks☆16Feb 15, 2017Updated 9 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A toolbox for statistical relational learning and reasoning.☆103Jul 6, 2022Updated 3 years ago
- Online partial evaluator for pure Prolog programs (with built-ins)☆12Jan 12, 2026Updated 5 months ago
- Code for Variational AutoEncoder(VAE) using tensorflow☆17Feb 26, 2018Updated 8 years ago
- ☆11Sep 1, 2017Updated 8 years ago
- Parallel (asynchronous) sparse coding implementation for obtaining sparse overcomplete word vectors☆57Oct 1, 2017Updated 8 years ago
- ☆14Mar 7, 2015Updated 11 years ago
- Internet connection checker script for Godot. Generally useful for mobile devices.☆12Feb 23, 2019Updated 7 years ago
- ☆11Dec 9, 2017Updated 8 years ago
- ☆22Feb 8, 2023Updated 3 years ago
- 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.
- Storage for Kaggle Quora competition☆16May 21, 2017Updated 9 years ago
- Multi-Hop Logical Reasoning in Knowledge Graphs☆21Mar 27, 2022Updated 4 years ago
- A loading-screen wrapper for gyscos/cursive views 🖥️☆19Aug 12, 2024Updated last year
- Predictable Feature Analysis☆10Dec 1, 2014Updated 11 years ago
- Deep Multi-Sensory Object Category Recognition Using Interactive Behavioral Exploration☆16Sep 12, 2019Updated 6 years ago
- Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator☆20Apr 1, 2026Updated 2 months ago
- ☆15Jul 19, 2016Updated 9 years ago