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☆19Feb 17, 2026Updated 3 weeks ago
- A proof-of-concept formal verification tool for WebAssembly.☆10Mar 3, 2024Updated 2 years ago
- 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
- Slides and projects for LambdaConf 2018 Workshop☆16Jun 3, 2018Updated 7 years ago
- Nix ❤️ Cardano☆19Mar 1, 2026Updated last week
- Compositional Representable Executable Machines☆122Nov 20, 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 last month
- A Lambda expression compiler targeting web assembly.☆20Aug 7, 2024Updated last year
- A helper library for working with compiled, parameterized Plutus Scripts☆19Mar 1, 2026Updated last week
- Plutarch 2.0☆19Mar 31, 2025Updated 11 months ago
- Python notes☆10Aug 13, 2022Updated 3 years ago
- ☆58Oct 11, 2025Updated 4 months ago
- 🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"☆20May 18, 2022Updated 3 years ago
- Haskell port of the Nanopass Compiler Framework☆23Dec 23, 2025Updated 2 months ago
- ☆31Feb 26, 2026Updated last week
- 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
- LambdaBuffers toolkit for sharing types and their semantics between different languages☆32Updated this week
- Play/learn/work with me☆118Dec 2, 2025Updated 3 months ago
- 一个为浪人新闻 @langxintv 开发的 Telegram 投稿机器人☆11Jun 3, 2025Updated 9 months ago
- 📺 The power of Haskell in your terminal!☆43Oct 26, 2025Updated 4 months ago
- A tool to make solving type errors in Haskell simple and fun.☆38Sep 23, 2022Updated 3 years ago
- Cofun with Cofree Comonads☆33Jun 13, 2016Updated 9 years ago
- Concept Application Server☆12Feb 22, 2026Updated 2 weeks ago
- ☆12Mar 13, 2025Updated 11 months ago
- 文件上传，图片上传(后缀名验证，文件类型验证)，大文件分片上传，“秒传”，断点续传，传输失败自动重试，手动重试☆10Apr 14, 2018Updated 7 years ago
- Competitive programming utilities in Haskell☆41Jan 11, 2026Updated last month
- Working through https://leanpub.com/optics-by-example by Chris Penner☆11Sep 9, 2021Updated 4 years ago
- Ultimate Typescript Handbook, published by Orange AVA™☆11Jul 18, 2023Updated 2 years ago
- GHC plugin for hlint☆11Oct 4, 2023Updated 2 years ago
- Proof-of-stake blockchain consensus simulator☆10Oct 19, 2021Updated 4 years ago
- Raspberry Pi Pico RP2040 powered Keyboard and Mouse converter, originally a project specifically for the IBM Model F PC/AT keyboard, it i…☆16Updated this week
- An implementation of the Update Monad and a 'Free' version from https://danelahman.github.io/papers/types13postproc.pdf☆13Oct 11, 2018Updated 7 years ago
- SHA256 implemented in WASM☆13Jun 2, 2023Updated 2 years ago
- A Scala 3, lightweight and functional non-intrusive library to build typed and declarative Scala application with managed resources and d…☆12Mar 16, 2025Updated 11 months ago
- Do notation in Python.☆10Feb 22, 2021Updated 5 years ago
- Yet another typescript service starter template, functional☆11Updated this week