Automated Theorem Prover for Automatic Words
☆21Apr 7, 2021Updated 4 years ago
Alternatives and similar repositories for Walnut
Users that are interested in Walnut are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An automated theorem prover that uses Büchi automata.☆44Sep 22, 2021Updated 4 years ago
- Grounding Language Models for Compositional and Spatial Reasoning☆18Oct 26, 2022Updated 3 years ago
- ☆12Mar 31, 2024Updated last year
- A bash script to build a sqlite database of EXIF information in a directory and plot it on a map.☆14Jan 29, 2025Updated last year
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Aug 23, 2021Updated 4 years ago
- The TacTok automated Coq proof script synthesis tool☆17Jan 9, 2024Updated 2 years ago
- Create a DEB file for Joplin☆15Jan 16, 2026Updated 2 months ago
- An tree-walking interpreter for a subset of the Lox programming language from "Crafting Interpreters" written in OCaml☆13Apr 15, 2020Updated 5 years ago
- ☆12Feb 23, 2026Updated last month
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- Resources to parse into computational semantics in order to enable model checkers to regenerate and extend a program resembling the origi…☆13Sep 2, 2024Updated last year
- Trusted timestamping on the Tezos blockchain.☆14Aug 2, 2023Updated 2 years ago
- A Tool for Intersecting Context-Free Grammars☆10Dec 19, 2017Updated 8 years ago
- Two-stage text summarization with BERT and BART☆11Jan 5, 2022Updated 4 years ago
- A minimalistic code editor, inspired by Monaco/VSCode, based on Ace & written in Arturo☆12Jan 9, 2026Updated 2 months ago
- A repo for code based language models☆18Feb 10, 2021Updated 5 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Dec 17, 2008Updated 17 years ago
- Llemma formal2formal (tactic prediction) theorem proving experiments☆20Oct 17, 2023Updated 2 years ago
- An Input Validator for HTTP based on Context-free Languages☆15Apr 27, 2017Updated 8 years ago
- A neurosymbolic T5 agent for playing text games, from the EACL 2023 paper "Behavior Cloned Transformers are Neurosymbolic Reasoners"☆20Feb 25, 2023Updated 3 years ago
- ☆14Jun 25, 2024Updated last year
- Experimental WebAssembly backend to MindSpore.☆58Jul 29, 2020Updated 5 years ago
- ☆10Jan 28, 2013Updated 13 years ago
- Port of tFPDF (PHP) by by Ian Back and Tycho Veltmeijer (modified version of FPDF by Olivier Plathey) to TCL☆13Oct 16, 2025Updated 5 months ago
- Clojure library for Blueprints (part of the Tinkerpop graph stack).☆38Sep 6, 2022Updated 3 years ago
- Code for the ICLR 2024 paper "How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data"☆20Apr 15, 2025Updated 11 months ago
- Extism Plug-in development kit (PDK) for Haskell☆10Mar 22, 2025Updated last year
- Code for the CIKM'23 paper "A Retrieve-and-Read Framework for Knowledge Graph Link Prediction"☆12Mar 23, 2025Updated last year
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- A docker image for Zig based upon Alpine Linux 3.16.☆14Jul 26, 2022Updated 3 years ago
- DeepSeek Operator - OpenAI Operator Alternative (Run Locally for FREE)☆14Feb 12, 2025Updated last year
- Minecraft schematics dataset☆17Jan 31, 2021Updated 5 years ago
- Extism Haskell Host SDK - easily run WebAssembly modules / plugins from Haskell applications☆11Dec 3, 2024Updated last year
- A Common Lisp implementation of the Cassowary constraint solving toolkit.☆21Aug 13, 2025Updated 7 months ago
- Code and Data for ACL 2025 Paper "Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework".☆25Oct 3, 2025Updated 5 months ago
- The interface between probabilistic model checking and data-driven policy learning.☆16Mar 11, 2026Updated 2 weeks ago
- Website for serving Pyret to folks.☆27Updated this week
- Adaptive Neuro-Symbolic Network Agent☆41Jun 11, 2022Updated 3 years ago
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆71Jan 22, 2026Updated 2 months ago