CSchank / finsm
An Elm app for building and simulating deterministic and non-deterministic finite automata (DFAs and NFAs).
☆11Updated 2 months ago
Alternatives and similar repositories for finsm:
Users that are interested in finsm are comparing it to the libraries listed below
- ☆11Updated 3 months ago
- A monad transformer designed for `MonadFail`☆12Updated 2 years ago
- Read and write uncompressed BMP image files☆10Updated last year
- ListT done right☆15Updated last year
- Haskell binding for Bullet physics engine☆24Updated 4 years ago
- Have many Aeson instances for the same type!☆9Updated 5 years ago
- ☆11Updated 5 years ago
- ☆9Updated 9 years ago
- Read and write images as massiv arrays☆13Updated 3 years ago
- A hand-written streaming byte parser for OpenStreetMap Protobuf data.☆12Updated 3 years ago
- A GLFW-b adapter for the Haskell Reflex FRP implementation.☆10Updated 6 years ago
- Split integers into digits, blazingly fast☆12Updated 9 months ago
- An output coverage checker☆11Updated 6 years ago
- Multiplatform signal support for Haskell☆12Updated 4 months ago
- Lift instances for common haskell data types☆12Updated 2 years ago
- Hspec expectations on JSON Values☆11Updated last week
- Haskell Web Library☆15Updated 4 years ago
- Pure Haskell client for the Mandrill JSON API☆17Updated last month
- Enforce HTTPS in Wai server app safely.☆13Updated 3 years ago
- Aeson combinators for dead simple JSON decoding☆13Updated last year
- Simple form abstractions and validation for Reflex-DOM applications☆10Updated 7 years ago
- Serialization of cryptographic data types☆9Updated 3 weeks ago
- Plucky errors and exceptions☆20Updated 4 years ago
- Use tests to monitor changes in Aeson serialization☆18Updated 7 months ago
- A generic 2D cellular automaton simulator☆25Updated 4 years ago
- A RWS like monad without the slow writer stuff☆12Updated last year
- A GHC source plugin which detects opportunities to use coerce☆17Updated 6 years ago
- Command interpreter using Continuation monad and variants☆12Updated 5 years ago
- Upload packages or documentation to a hackage server☆11Updated 2 years ago
- LightStep OpenTracing client library☆10Updated 3 years ago