JavaScript library for working with automata and grammars for regular and context-free languages
☆221Aug 22, 2024Updated last year
Alternatives and similar repositories for noam
Users that are interested in noam are comparing it to the libraries listed below
Sorting:
- ☆10Aug 25, 2020Updated 5 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆71Jul 12, 2025Updated 7 months ago
- 🔍 Code Search Tools & Experiments☆12Updated this week
- A python library to manipulate formal languages and various automata☆59Sep 4, 2025Updated 6 months ago
- Speaker count for 450+ languages☆20Nov 20, 2022Updated 3 years ago
- ☆12Mar 31, 2024Updated last year
- A Quick Research of Active Automata Learning☆32Mar 13, 2020Updated 5 years ago
- A mutation tool for source and IR☆13Sep 6, 2018Updated 7 years ago
- An IntelliJ-based IDE plugin for Python AST transformations☆18Aug 16, 2023Updated 2 years ago
- A 3D terrain generator from a height maps using Three.js☆25May 29, 2022Updated 3 years ago
- Fluent API generator☆42Jan 23, 2026Updated last month
- Bindings to Google's Compact Language Detector 3 to JVM Based Languages☆21Jun 2, 2024Updated last year
- ☆19Jun 1, 2021Updated 4 years ago
- A free, open-source Java library for automata, graphs, and transition systems☆99Feb 16, 2026Updated 2 weeks ago
- The Termination Problem Database☆29Aug 20, 2025Updated 6 months ago
- Issue tracker for the Magknight 787: Aviator's Edition for X-Plane 11☆13Jul 8, 2021Updated 4 years ago
- libag - The famous The Silver Searcher, but library 📚☆34Jun 29, 2021Updated 4 years ago
- Python type hints are Turing complete.☆33Nov 24, 2022Updated 3 years ago
- A survey of known lower bounds in arithmetic circuits.☆33Mar 22, 2022Updated 3 years ago
- A simple chess engine☆11Dec 16, 2018Updated 7 years ago
- Building a Software Simulator for Airborne Cyber Physical Systems using X-Plane☆10Oct 2, 2024Updated last year
- A network clustering library for javascript☆35Jan 21, 2026Updated last month
- A functional fluent API generator☆36Dec 30, 2022Updated 3 years ago
- Euphony: a probabilistic model-guided program synthesizer☆27Nov 21, 2022Updated 3 years ago
- Wiktra - Python tool of Wiktionary Transliteration modules for 514 languages and its 102 different scripts (orthographies)☆34Jun 29, 2025Updated 8 months ago
- Context Free Grammar(CFG) parser library and application written in Python.☆27Nov 22, 2023Updated 2 years ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆38Mar 25, 2025Updated 11 months ago
- PMD Plugin for the Eclipse IDE☆13Updated this week
- ☆10Sep 14, 2025Updated 5 months ago
- Vore mod for Fallout 4☆12Oct 18, 2021Updated 4 years ago
- An application that allows you to download videos for all the songs in your Clone Hero library☆10Aug 21, 2024Updated last year
- A python script to walk the directory tree of a C/C++ project of embedded system to generate CMakeLists.txt files for building the execut…☆10May 6, 2022Updated 3 years ago
- Rebranding Version☆12Jan 22, 2024Updated 2 years ago
- VATA Tree Automata Library☆34Feb 3, 2026Updated last month
- This repository is about how to build an SQLite version of the Arabic WordNet database.☆10Mar 19, 2019Updated 6 years ago
- ☆10Mar 24, 2025Updated 11 months ago
- Basic implementation of Subway Surfers using JS & WebGL☆11Jun 18, 2019Updated 6 years ago
- finite-state toolkit, EM and Bayesian (Gibbs sampling) training for FST and context-free derivation forests☆41Oct 14, 2022Updated 3 years ago