A simple turing machine, written in Python
☆15Dec 20, 2017Updated 8 years ago
Alternatives and similar repositories for turing_machine
Users that are interested in turing_machine are comparing it to the libraries listed below
Sorting:
- ☆13Jun 21, 2017Updated 8 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Nov 27, 2016Updated 9 years ago
- ☆13Nov 30, 2022Updated 3 years ago
- The OpenAPI Specification Repository☆11Jul 12, 2023Updated 2 years ago
- super tiny implementation of higher-order logic proof assistant in lean☆22Sep 29, 2019Updated 6 years ago
- Back end for producing indicators and loading them into the COVIDcast API.☆12Feb 28, 2026Updated 2 weeks ago
- The opentheory tool processes higher order logic theory packages☆17Mar 21, 2023Updated 2 years ago
- Entailment rules extracted from RTE datasets using a modified Robinson Resolution algorithm☆12Jun 8, 2015Updated 10 years ago
- Proof system for Fact Verification☆15Jun 7, 2022Updated 3 years ago
- A Workbench for Autograding Retrieve/Generate Systems☆15Jun 30, 2025Updated 8 months ago
- WorldSense benchmark for grounded reasoning in language models☆24Nov 28, 2023Updated 2 years ago
- Visual Studio Code syntax highlighting for Answer Set Programming☆13Jan 2, 2025Updated last year
- ☆16Sep 28, 2023Updated 2 years ago
- We develop world models that can be adapted with natural language. Intergrating these models into artificial agents allows humans to effe…☆25Feb 10, 2024Updated 2 years ago
- ☆14Updated this week
- Probabilistic inference using contraction of tensor networks☆25Sep 9, 2025Updated 6 months ago
- Online material and code base for the article Coordinates and Intervals in Graph Based Reference Genomes☆11May 2, 2017Updated 8 years ago
- This is a read-only mirror of the CRAN R package repository. Ckmeans.1d.dp — Optimal, Fast, and Reproducible Univariate Clustering☆18Aug 19, 2023Updated 2 years ago
- Combine vim-projectionist with vim-dirvish!☆12May 14, 2021Updated 4 years ago
- The most recent documentation of OpenReview☆30Mar 4, 2026Updated 2 weeks ago
- Natural language understanding by probabilistic abduction of a symbolic theory from sentences and logical forms.☆17Jun 13, 2025Updated 9 months ago
- R package providing date C++ library header files☆11Jan 14, 2026Updated 2 months ago
- 💊 Qualitative and quantitative optimization in answer set programming☆21May 23, 2024Updated last year
- Research into creating tiny .NET executables☆14Apr 21, 2018Updated 7 years ago
- Course resources and notes for the ESSLLI 2023 course on neural symbolic methods.☆18Feb 5, 2025Updated last year
- Tcp Server and Client Implementation with multiple client handling.☆12Jul 13, 2025Updated 8 months ago
- AutoMATES: Automated Model Assembly from Text, Equations, and Software☆25Sep 18, 2023Updated 2 years ago
- Resources for Tutorial on Neuro-Symbolic Representations for IR☆15Jul 23, 2023Updated 2 years ago
- HMAC-SHA-256 C++11 library designed for embedded systems☆12Oct 19, 2023Updated 2 years ago
- Materials for ACL-2022 tutorial: A Gentle Introduction to Deep Nets and Opportunities for the Future☆17May 24, 2022Updated 3 years ago
- The Force, Accounted (in R)☆11Nov 12, 2017Updated 8 years ago
- ☆11Jul 13, 2018Updated 7 years ago
- Multi-Hop Logical Reasoning in Knowledge Graphs☆19Mar 2, 2021Updated 5 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- Haplotype-based somatic genome simulator☆10May 19, 2017Updated 8 years ago
- Highly scalable integration and classification of single-cell RNA sequencing data☆11Dec 27, 2020Updated 5 years ago
- The Open Data Standards Directory is an iniative to provide an inventory of information regarding open data standards. This site is opera…☆28Aug 5, 2025Updated 7 months ago
- Documentation for NCBI BLAST AMI☆11Feb 28, 2022Updated 4 years ago