Tuffy, a Markov Logic Network solver
☆26Nov 21, 2014Updated 11 years ago
Alternatives and similar repositories for tuffy
Users that are interested in tuffy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Symbolic logic expressions☆16Jul 1, 2020Updated 5 years ago
- Programming Language Classifier☆25Aug 3, 2015Updated 10 years ago
- The Stochastic Local Search SAT Solver from UBC☆32Apr 10, 2022Updated 4 years ago
- A plug-in architecture for extending Siri virtual assistant☆29Mar 30, 2014Updated 12 years ago
- ☆21Mar 27, 2015Updated 11 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- PredictionIO word2vec engine template (Scala-based parallelized engine)☆12Apr 22, 2015Updated 11 years ago
- For FFL Blog☆10Sep 24, 2015Updated 10 years ago
- unblocked web browser for school☆10Dec 17, 2021Updated 4 years ago
- edX data research @ McGillX☆16Jun 25, 2016Updated 9 years ago
- ☆54Mar 26, 2016Updated 10 years ago
- A preliminary effort for https://github.com/fumin/ntm☆11Mar 1, 2015Updated 11 years ago
- Depth-Bounded PCFG Induction☆13Apr 19, 2019Updated 7 years ago
- A monad for interfacing with external SAT solvers☆65Jun 17, 2025Updated 10 months ago
- ☆13Jun 14, 2017Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Twitter User Timeline Harvest☆42Jan 17, 2016Updated 10 years ago
- Keras library for building (Universal) Transformers, facilitating BERT and GPT models☆11Jan 29, 2019Updated 7 years ago
- ☆12Jan 21, 2019Updated 7 years ago
- Download rendered articles from MediaWiki API to CouchDB☆23Jun 4, 2025Updated 11 months ago
- The dataset used for the "Non-Contact Blood Pressure Estimation using infrared motion magnified facial video" publication. The code devel…☆12Nov 28, 2024Updated last year
- ☆12Jun 27, 2023Updated 2 years ago
- AntiXSS for Java is a port of the Microsoft Anti-Cross Site Scripting (AntiXSS) v1.5 library for .NET applications. The library requires …☆16Jul 2, 2012Updated 13 years ago
- 基于spring-cloud 灰度发布☆12Nov 5, 2019Updated 6 years ago
- Deep Reinforcement Learning Agent☆19Dec 9, 2015Updated 10 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.
- JavaScript component to parse, clean, remove formatting (unformat) numbers in strings.☆10Dec 5, 2024Updated last year
- Discover, analyze and present data from the web and mobile in meaninful ways☆83Jul 16, 2013Updated 12 years ago
- ☆19Jun 22, 2012Updated 13 years ago
- A framework for making sketchy iOS designs.☆11Feb 12, 2016Updated 10 years ago
- Chinese Clinical Text Named Entity Recognition☆10Jun 18, 2019Updated 6 years ago
- Adds :sender and :caller as well as other object-oriented backtrace methods to the built-in :callee and :method methods in Ruby 1.9.1.☆16Oct 8, 2012Updated 13 years ago
- Balanced API library in python.☆70Nov 24, 2021Updated 4 years ago
- A protocol based monad implementation for clojure☆61Aug 11, 2014Updated 11 years ago
- Repository of the Learning Analytics tool ANALYSE for Open edX platform☆18Oct 30, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The CafeSat SMT solver for Scala☆50Oct 31, 2021Updated 4 years ago
- An implementation of the prediction strength algorithm from Tibshirani, Walther, Botstein, and Brown's "Cluster validation by prediction …☆18Feb 17, 2011Updated 15 years ago
- View multiple App Store products from within an iOS app☆42Aug 5, 2025Updated 9 months ago
- Use RxJS 5 to compose side effect streams with Redux☆10Jun 29, 2016Updated 9 years ago
- ❇️ The best modules for Markov Logic Networks condensed in one framework.☆13Dec 20, 2017Updated 8 years ago
- A protovis visualization of the linked open data cloud.☆26Jul 25, 2011Updated 14 years ago
- Analytic UIMA pipelines using Spark☆24Nov 27, 2015Updated 10 years ago