Automated Theorem Prover for Automatic Words
☆21Apr 7, 2021Updated 5 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:
- ☆11Dec 7, 2020Updated 5 years ago
- ☆12Mar 31, 2024Updated 2 years ago
- LZ Double factor Factorization.☆11Feb 26, 2017Updated 9 years ago
- Space-Efficient, High-Performance Rank & Select Structures on Uncompressed Bit Sequences☆15Aug 7, 2018Updated 8 years ago
- A new lossless data compression algorithm☆12Sep 9, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆12Dec 12, 2021Updated 4 years ago
- Scala+lift frontend for automatatutor.com☆10May 13, 2019Updated 7 years ago
- ☆12Oct 8, 2026Updated 3 weeks ago
- vector illustrations of BWT based searching on small strings☆16Apr 29, 2019Updated 7 years ago
- ☆13Feb 6, 2025Updated last year
- An tree-walking interpreter for a subset of the Lox programming language from "Crafting Interpreters" written in OCaml☆12Apr 15, 2020Updated 6 years ago
- ☆16May 28, 2026Updated 5 months ago
- Bicriteria Data Compressor☆15Dec 9, 2017Updated 8 years ago
- The TacTok automated Coq proof script synthesis tool☆17Jan 9, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 10 years ago
- Suite of universal indexes for Highly Repetitive Document Collections☆24May 14, 2020Updated 6 years ago
- A DSL to create slides written in Common Lisp☆16Dec 9, 2011Updated 14 years ago
- a Carpentries-style lesson introducing the basics of data visualization☆11Oct 27, 2026Updated last week
- The source of Walnut☆10Oct 22, 2026Updated last week
- ☆22Apr 11, 2023Updated 3 years ago
- ☆16Jun 24, 2024Updated 2 years ago
- A hardware project for iSkipper☆12Dec 30, 2018Updated 7 years ago
- Create a DEB file for Joplin☆14Jan 16, 2026Updated 9 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Implementation of the sacabench framework☆19May 15, 2021Updated 5 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 2 years ago
- How to run Panoply Git GNU/Linux (the version of FRDCSA made by combining all of the redacted GitHub FRDCSA codebases)☆12Dec 19, 2022Updated 3 years ago
- LLMSurver - Automatic LLM-based literature review filtering inside your browser☆19Aug 19, 2025Updated last year
- Trusted timestamping on the Tezos blockchain.☆14Aug 2, 2023Updated 3 years ago
- Sparse Transformers in JAX☆34Sep 17, 2026Updated last month
- Electron (TypeScript + React) ML/NN research platform for Crypto Trading☆12Jan 13, 2023Updated 3 years ago
- Some near drop in stl compatible hash tables that are a lot more space efficient than any other options.☆24Sep 16, 2022Updated 4 years ago
- An LLM chatbot augmented by neuro-symbolic rules☆10Jun 8, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Command line interface for Repology.org☆13Oct 5, 2026Updated 3 weeks ago
- A list of words that can be remembered☆10Mar 4, 2022Updated 4 years ago
- ☆15Feb 3, 2026Updated 9 months ago
- Basic linear algebra for small matrices in C☆12Oct 25, 2026Updated last week
- Preliminary results and testing of Extropic THRML☆11Oct 31, 2025Updated last year
- Artificial Intelligence for Trading Nanodegree☆11May 19, 2020Updated 6 years ago
- Building the Bi-LSTM & the CNN-GAN models to compose Classical Music in different eras☆12Aug 2, 2021Updated 5 years ago