anishathalye / synoxView external linksLinks
Rust library for program synthesis of string transformations from input-output examples 🔮
☆28Feb 1, 2025Updated last year
Alternatives and similar repositories for synox
Users that are interested in synox are comparing it to the libraries listed below
Sorting:
- ☆11Dec 9, 2022Updated 3 years ago
- A new framework to generate interpretable classification rules☆18Feb 11, 2023Updated 3 years ago
- RWMutex for sharing of multicore machines.☆18May 24, 2019Updated 6 years ago
- Experimental model finder/SMT solver for functional programming.☆23Jun 23, 2022Updated 3 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26Updated this week
- Llama2 inference in one file of pure OCaml.☆27Sep 16, 2023Updated 2 years ago
- algebraic numbers implemented in rust; mirror of https://salsa.debian.org/Kazan-team/algebraics☆28Aug 21, 2025Updated 5 months ago
- A SyGuS Solver☆29May 18, 2025Updated 8 months ago
- ☆16Sep 9, 2025Updated 5 months ago
- Arduino sketch to control Autotrickler Hardware for powder trickling☆11Jul 15, 2023Updated 2 years ago
- This repository is about how to build an SQLite version of the Arabic WordNet database.☆10Mar 19, 2019Updated 6 years ago
- ☆39Nov 11, 2024Updated last year
- Vector Symbolic Architecture library☆11Mar 27, 2023Updated 2 years ago
- A simple launcher to edit text files on the fly and launch files, folders, websites and websearches.☆11Apr 10, 2023Updated 2 years ago
- Python apps to assist with Gas Blending☆12Feb 28, 2023Updated 2 years ago
- ☆12Dec 8, 2022Updated 3 years ago
- Well optimised threading safe database engine could be used to build pretty well performed databases on top of it☆10Apr 7, 2022Updated 3 years ago
- MKS Eagle is an integrated design version of Nano V3.0. It retains the functions of Nano V3, but intergrates 5 TMC2209 drivers on board w…☆15Jan 15, 2022Updated 4 years ago
- Named Entity (NER) annotations of the Hebrew Treebank (Haaretz newspaper) corpus, including: morpheme and token level NER labels, nested …☆10Dec 27, 2021Updated 4 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Stock Price Predictor with Deep Learning☆11Aug 5, 2017Updated 8 years ago
- A tool to collect/validate audio recordings from workers on Amazon Mechanical Turk. Written in Python/Flask. (originally hosted on github…☆14Dec 19, 2022Updated 3 years ago
- Hack for hiding pointer in Wayland for when your using it as a kiosk☆10Aug 12, 2019Updated 6 years ago
- ☆14Jan 11, 2021Updated 5 years ago
- My attempt to make neovim more rust friendly from an IDE perspective while trying to not do all of the things!☆11Oct 3, 2020Updated 5 years ago
- VoxAngeles Corpus☆13Aug 23, 2025Updated 5 months ago
- ☆11Apr 8, 2025Updated 10 months ago
- A simple distributed lock manager☆12Nov 11, 2019Updated 6 years ago
- The Ensemble distributed communications toolkit☆12Jul 26, 2020Updated 5 years ago
- General purpose toolkit for Python☆10Jan 27, 2024Updated 2 years ago
- Examples of using Diderot☆11Sep 16, 2019Updated 6 years ago
- Supplementary materials for "Evaluating generalised additive mixed modelling strategies for dynamic speech analysis"☆10Jan 25, 2021Updated 5 years ago
- Grapheme to phoneme converter for Estonian☆14May 27, 2021Updated 4 years ago
- MSC bootloader for STM32F103 (Blue Pill etc)☆11Apr 9, 2022Updated 3 years ago
- MultiClip☆10Jan 5, 2026Updated last month
- A dotnet-new template to start off plugins for the Flow Launcher.☆12Sep 27, 2024Updated last year
- Self-improving LLM system using Generator-Reflector-Curator pattern for online learning from execution feedback☆26Nov 9, 2025Updated 3 months ago
- ☆11Oct 19, 2024Updated last year
- ☆12Jun 25, 2021Updated 4 years ago