izuzak / noamView external linksLinks
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:
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- ☆10Aug 25, 2020Updated 5 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆71Jul 12, 2025Updated 7 months ago
- ☆14Feb 1, 2024Updated 2 years ago
- 🔍 Code Search Tools & Experiments☆12Dec 29, 2025Updated last month
- DontStarve mods☆11May 27, 2019Updated 6 years ago
- A dk.brics FSM to regular-expression-string converter☆10Jul 12, 2025Updated 7 months ago
- A python library to manipulate formal languages and various automata☆58Sep 4, 2025Updated 5 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
- RemoteDebug Compatibility Tables☆15Apr 29, 2021Updated 4 years ago
- A mutation tool for source and IR☆13Sep 6, 2018Updated 7 years ago
- Partition refinement☆16Sep 11, 2023Updated 2 years ago
- Code for the paper "The Surprising Computational Power of Nondeterministic Stack RNNs" (DuSell and Chiang, 2023)☆19Mar 21, 2024Updated last year
- A list of resources dedicated to compositionality☆14Feb 21, 2019Updated 6 years ago
- Minimum Description Length Recurrent Neural Networks☆18Jun 9, 2023Updated 2 years ago
- An IntelliJ-based IDE plugin for Python AST transformations☆18Aug 16, 2023Updated 2 years ago
- A quick Python 3 port of the FAdo Project☆14Mar 29, 2018Updated 7 years ago
- Bindings to Google's Compact Language Detector 3 to JVM Based Languages☆21Jun 2, 2024Updated last year
- ☆11Sep 26, 2017Updated 8 years ago
- The tiny LaTeX toolchain that runs everywhere.☆53Apr 20, 2017Updated 8 years ago
- Convert your shell scripts to binary files☆27Jun 8, 2025Updated 8 months ago
- A free, open-source Java library for automata, graphs, and transition systems☆99Updated this week
- The Termination Problem Database☆29Aug 20, 2025Updated 5 months ago
- A latent-annotated probabilistic context-free grammar (LAPCFG) parser.☆30Oct 10, 2023Updated 2 years ago
- A Python library for simulating finite automata, pushdown automata, and Turing machines☆396Feb 7, 2026Updated last week
- A Python interface to OpenFst☆88Jun 4, 2019Updated 6 years ago
- A functional fluent API generator☆36Dec 30, 2022Updated 3 years ago
- Euphony: a probabilistic model-guided program synthesizer☆27Nov 21, 2022Updated 3 years ago
- Context Free Grammar(CFG) parser library and application written in Python.☆27Nov 22, 2023Updated 2 years ago
- TOML deck generator with custom templates and schema validation☆37Oct 7, 2023Updated 2 years ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆38Mar 25, 2025Updated 10 months ago
- Data for our analysis of Amtrak 188 derailment.☆10May 14, 2015Updated 10 years ago
- An application that allows you to download videos for all the songs in your Clone Hero library☆10Aug 21, 2024Updated last year
- Rebranding Version☆12Jan 22, 2024Updated 2 years ago
- true random number generator using Random.org API, based on atmospheric noise phenomenon measurement☆10Oct 22, 2020Updated 5 years ago
- 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
- ☆10Mar 24, 2025Updated 10 months ago