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
Sorting:
- An automated theorem prover that uses Büchi automata.☆44Sep 22, 2021Updated 4 years ago
- ☆12Mar 31, 2024Updated last year
- ☆18Apr 19, 2024Updated last year
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Aug 23, 2021Updated 4 years ago
- Julia code for an upper level undergraduate macroeconomics course.☆10May 18, 2022Updated 3 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Dec 2, 2010Updated 15 years ago
- Download read-only/protected PDF files on Onedrive using selenium☆13Dec 6, 2025Updated 2 months ago
- ☆12Jan 5, 2026Updated last month
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Feb 24, 2026Updated last week
- Java streams utility methods for memoization☆11Dec 12, 2024Updated last year
- The core library of Tensorics - a Java Library for Manipulating Multi-Dimensional Data with Pleasure☆12Oct 18, 2023Updated 2 years ago
- MiCA gossip framework research project☆15Jun 14, 2023Updated 2 years ago
- Introduction to Python for Data Science☆13Oct 11, 2024Updated last year
- My best Java class to compress any String, short or long, with any character of human history☆12Feb 16, 2026Updated 2 weeks ago
- Integrating Symbolic Programming and Neuromorphic Modeling for Edge Labs with NVIDIA Jetson, DGX Spark, and GPU-based DNN/ML Systems☆15Feb 24, 2026Updated last week
- A Universal Binary JSON (UBJSON) parser, renderer and builder☆10Jul 6, 2013Updated 12 years ago
- PyTorch-based radio-interferometric imaging reconstruction package with scalable Bayesian uncertainty quantification relying on data-driv…☆12Feb 17, 2025Updated last year
- RockIt: A query engine for Markov logic☆11May 24, 2016Updated 9 years ago
- Multimodal SuperCon: Classifier for Drivers of Deforestation in Indonesia☆10Nov 18, 2023Updated 2 years ago
- Mirror-based reflection for Objective-C☆10Jan 18, 2016Updated 10 years ago
- Library for integrating Queue-it into an iOS app using web ui☆11Dec 19, 2025Updated 2 months ago
- Computational biology code samples☆11Feb 28, 2018Updated 8 years ago
- ToneGod's graphical user-interface library for jMonkeyEngine3☆10Feb 9, 2026Updated 3 weeks ago
- Configuration Space Exploration Framework☆17Oct 13, 2020Updated 5 years ago
- A stellar cartography system☆17Feb 4, 2026Updated last month
- Two-stream remote sensing model for water quality mapping: 2SeaColor☆10Feb 2, 2021Updated 5 years ago
- ☆10Jan 28, 2013Updated 13 years ago
- iOS Color Picker☆11Jun 15, 2019Updated 6 years ago
- Adaptive Neuro-Symbolic Network Agent☆41Jun 11, 2022Updated 3 years ago
- A currency rate converter App.☆15Sep 5, 2019Updated 6 years ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Aug 17, 2023Updated 2 years ago
- ☆13Sep 7, 2013Updated 12 years ago
- Introduction to Demoscene☆10Mar 7, 2023Updated 2 years ago
- Generate, compile and run .java source dynamically at runtime☆11Apr 23, 2019Updated 6 years ago
- Karras et al. (2022) diffusion models for PyTorch☆12Aug 23, 2022Updated 3 years ago
- WorldEngine's PyQt based GUI☆13Jul 9, 2015Updated 10 years ago
- JavaFX wrapper for CodeMirror☆10Sep 19, 2017Updated 8 years ago
- Basic linear algebra for small matrices in C☆12Sep 9, 2025Updated 5 months ago
- Data Integration In Real-Time☆11Sep 8, 2022Updated 3 years ago