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:
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 11 months ago
- ☆13Dec 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
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆17Jul 22, 2021Updated 4 years ago
- Experimental model finder/SMT solver for functional programming.☆23Jun 23, 2022Updated 3 years ago
- Llama2 inference in one file of pure OCaml.☆27Sep 16, 2023Updated 2 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆32Jan 20, 2025Updated last year
- algebraic numbers implemented in rust; mirror of https://salsa.debian.org/Kazan-team/algebraics☆28Aug 21, 2025Updated 6 months ago
- Pads format description language☆21Nov 19, 2015Updated 10 years ago
- Arduino sketch to control Autotrickler Hardware for powder trickling☆11Jul 15, 2023Updated 2 years ago
- ☆16Sep 9, 2025Updated 5 months ago
- This repository is about how to build an SQLite version of the Arabic WordNet database.☆10Mar 19, 2019Updated 6 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
- 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
- Stock Price Predictor with Deep Learning☆11Aug 5, 2017Updated 8 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
- WizCanvas allows a developer to create a ultra-performant native canvas component. The view is based on the Ejecta framework and has WebG…☆43Mar 2, 2015Updated 11 years ago
- Python apps to assist with Gas Blending☆12Feb 28, 2023Updated 3 years ago
- MG top-down beam parsing☆13Jul 2, 2018Updated 7 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆12Dec 8, 2022Updated 3 years ago
- Base library for Rust Prometheus exporters☆39Jul 25, 2024Updated last year
- A nifty LaTeX Poster Class☆41Oct 21, 2012Updated 13 years ago
- MSC bootloader for STM32F103 (Blue Pill etc)☆12Apr 9, 2022Updated 3 years ago
- Dynamically scoped variables in Rust☆11Oct 12, 2021Updated 4 years ago
- ☆10Sep 12, 2022Updated 3 years ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- An Xposed Mod to ensure NFC remains enabled when the phone screen is off, or if you're at the lockscreen☆17May 4, 2014Updated 11 years ago
- ☆12Nov 2, 2022Updated 3 years ago
- several algorithms for converting dependency structures into constituency structures.☆10Feb 7, 2022Updated 4 years ago
- GUI applikation for the Klatt formant synthesizer package☆11Feb 16, 2026Updated 2 weeks ago
- A library for typed manipulation of UNIX-style file paths.☆13Jan 15, 2026Updated last month
- The Grammar Matrix☆15Jan 22, 2026Updated last month
- R implementation of Contextual Importance and Utility for Explainable AI☆10Nov 5, 2025Updated 4 months ago
- Mirror of GlottHMM☆10Jun 7, 2016Updated 9 years ago
- Behavioral probing of language acquisition models at the lexical and syntactic level☆17Jul 17, 2023Updated 2 years ago
- Detects images that was previously posted in telegram chat and denounces the sender☆11Feb 7, 2019Updated 7 years ago
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago