stevana / pipelined-state-machinesView external linksLinks
An experiment in declaratively programming parallel pipelines of state machines.
☆18Mar 20, 2023Updated 2 years ago
Alternatives and similar repositories for pipelined-state-machines
Users that are interested in pipelined-state-machines are comparing it to the libraries listed below
Sorting:
- Test monadic programs using state machine based models☆19Jul 17, 2025Updated 7 months ago
- A proof-of-concept formal verification tool for WebAssembly.☆10Mar 3, 2024Updated last year
- Haskell Expression Visualizer☆13Apr 2, 2022Updated 3 years ago
- generate synthetic data for training finite state machines/pushdown automata/turing machines☆17Apr 26, 2024Updated last year
- Nix ❤️ Cardano☆19Updated this week
- Slides and projects for LambdaConf 2018 Workshop☆16Jun 3, 2018Updated 7 years ago
- Compositional Representable Executable Machines☆122Nov 20, 2025Updated 2 months ago
- ☆24Nov 5, 2025Updated 3 months ago
- A monorepo for Liqwid Labs plutarch libraries.☆15Aug 23, 2024Updated last year
- Monoidal map type with support for semigroup and monoid subclasses.☆21Jan 20, 2026Updated 3 weeks ago
- A helper library for working with compiled, parameterized Plutus Scripts☆19Feb 3, 2026Updated 2 weeks ago
- A Lambda expression compiler targeting web assembly.☆20Aug 7, 2024Updated last year
- Plutarch 2.0☆19Mar 31, 2025Updated 10 months ago
- ☆58Oct 11, 2025Updated 4 months ago
- Haskell port of the Nanopass Compiler Framework☆23Dec 23, 2025Updated last month
- 🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"☆20May 18, 2022Updated 3 years ago
- Python notes☆10Aug 13, 2022Updated 3 years ago
- ☆31Feb 4, 2024Updated 2 years ago
- being the scrapings of my stackoverflow answers☆48Oct 23, 2019Updated 6 years ago
- A flake app to push & pin to cachix.☆31Nov 12, 2024Updated last year
- Haskell program configuration using higher kinded data☆29May 21, 2024Updated last year
- LambdaBuffers toolkit for sharing types and their semantics between different languages☆32Feb 8, 2026Updated last week
- Play/learn/work with me☆114Dec 2, 2025Updated 2 months ago
- A library for stateful property-based testing☆34Jan 19, 2026Updated 3 weeks ago
- 一个为浪人新闻 @langxintv 开发的 Telegram 投稿机器人☆11Jun 3, 2025Updated 8 months ago
- Haskell + Scotty example RealWorld API implementation for https://realworld.io☆28Jan 1, 2025Updated last year
- 📺 The power of Haskell in your terminal!☆43Oct 26, 2025Updated 3 months ago
- Cofun with Cofree Comonads☆32Jun 13, 2016Updated 9 years ago
- A tool to make solving type errors in Haskell simple and fun.☆38Sep 23, 2022Updated 3 years ago
- ☆12Mar 13, 2025Updated 11 months ago
- 文件上传，图片上传(后缀名验证，文件类型验证)，大文件分片上传，“秒传”，断点续传，传输失败自动重试，手动重试☆10Apr 14, 2018Updated 7 years ago
- Concept Application Server☆12Jan 28, 2026Updated 2 weeks ago
- WARNING: this requires a 32 bit build of node on osx! (tested only on osx)☆14Oct 24, 2011Updated 14 years ago
- Competitive programming utilities in Haskell☆42Jan 11, 2026Updated last month
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- Working through https://leanpub.com/optics-by-example by Chris Penner☆11Sep 9, 2021Updated 4 years ago
- An experiment for a Node.JS-based WebDAV server☆14Feb 6, 2011Updated 15 years ago
- Neuroevolution of Augmented Topologies (NEAT) -- in Haskell☆12Jun 15, 2017Updated 8 years ago
- ROP flavoured Result & AsyncResult types☆13Aug 14, 2023Updated 2 years ago