neurallambda / automataView external linksLinks
generate synthetic data for training finite state machines/pushdown automata/turing machines
☆17Apr 26, 2024Updated last year
Alternatives and similar repositories for automata
Users that are interested in automata are comparing it to the libraries listed below
Sorting:
- Ideas for the next generation of Haskell's Arrow notation☆12Dec 23, 2019Updated 6 years ago
- Deriving Storable instances using GHC.Generics☆16Apr 9, 2022Updated 3 years ago
- ☆17Jul 24, 2025Updated 6 months ago
- An experiment in declaratively programming parallel pipelines of state machines.☆18Mar 20, 2023Updated 2 years ago
- NodeJS native module written in Rust and Typescript to interact with Pipewire.☆17Nov 20, 2023Updated 2 years ago
- Nix ❤️ Cardano☆19Updated this week
- GHC plugin to branch on whether a constraint is satisfied☆33Jul 29, 2025Updated 6 months ago
- The Geometric OptimizAtion Libraries☆18Mar 12, 2025Updated 11 months ago
- Test monadic programs using state machine based models☆19Jul 17, 2025Updated 6 months ago
- A monorepo for Liqwid Labs plutarch libraries.☆15Aug 23, 2024Updated last year
- Non-blocking concurrent hashmap for Haskell☆18Sep 29, 2017Updated 8 years ago
- Disciplined Convex Programming in Haskell☆23Mar 19, 2024Updated last year
- A helper library for working with compiled, parameterized Plutus Scripts☆19Feb 3, 2026Updated last week
- A Lambda expression compiler targeting web assembly.☆20Aug 7, 2024Updated last year
- Concurrency library inspired by Erlang/OTP☆19May 9, 2025Updated 9 months ago
- A typed logic programming language embedded in Haskell☆50Mar 3, 2013Updated 12 years ago
- Plutarch 2.0☆19Mar 31, 2025Updated 10 months ago
- Grammar Converter☆31Jan 2, 2026Updated last month
- Linear lens☆21Feb 14, 2024Updated 2 years ago
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆43Nov 11, 2024Updated last year
- A message-passing library, intended for simplifying network applications☆44Apr 7, 2018Updated 7 years ago
- Compatibility checker for OpenAPI☆26Sep 12, 2024Updated last year
- 🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"☆20May 18, 2022Updated 3 years ago
- A Haskell monad transformer library for data validation☆38Aug 17, 2023Updated 2 years ago
- Accessing Postgres in a data frame in Haskell☆24Dec 12, 2023Updated 2 years ago
- Benchmark of the main linear algebra libraries in Haskell☆26Mar 9, 2020Updated 5 years ago
- Monitor nginx access logs in real time.☆25Dec 9, 2019Updated 6 years ago
- your dynamic optimization buddy☆27Sep 20, 2019Updated 6 years ago
- A static analysis tool for C.☆29Oct 29, 2019Updated 6 years ago
- A usable type system for call by push-value☆33Dec 16, 2019Updated 6 years ago
- A library for stateful property-based testing☆34Jan 19, 2026Updated 3 weeks ago
- heidi : tidy data in Haskell☆30Aug 25, 2021Updated 4 years ago
- 一个为浪人新闻 @langxintv 开发的 Telegram 投稿机器人☆11Jun 3, 2025Updated 8 months ago
- guardian - the border guardian for your Haskell monorepo package dependencies☆41Sep 1, 2025Updated 5 months ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆31Jul 3, 2024Updated last year
- A port of Apache Sparks to Haskell using distributed process☆33Oct 14, 2016Updated 9 years ago
- Pre-processor for .hsc files☆43Jan 5, 2026Updated last month
- Haskell wrapper for iced☆36Jun 2, 2025Updated 8 months ago
- A wrapper around Text for fast line/column navigation and logarithmic concatenation☆39Jul 17, 2024Updated last year