orome / crypto-enigma-hs
A Haskell Enigma machine simulator with rich display and machine state details.
☆23Updated last year
Related projects ⓘ
Alternatives and complementary repositories for crypto-enigma-hs
- Paris Functional Programming Meetup☆27Updated 4 years ago
- Rails-like inflections for Haskell☆36Updated 9 months ago
- Fixed length vector for haskell☆21Updated 7 months ago
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆15Updated last month
- A Haskell library for generating Ruby consumers of Servant APIs.☆23Updated last month
- QuickCheck extras.☆29Updated 5 years ago
- Generate standalone haddock documentation for a set of packages☆27Updated 4 years ago
- Example of embedding Servant within a Yesod Application☆15Updated 8 years ago
- Compiler for IMP programming language implemented in Haskell☆16Updated 4 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 9 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- Run your Scotty apps over TLS☆25Updated 10 months ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Interval Arithmetic☆27Updated 2 weeks ago
- Dependently typed elimination functions using singletons☆28Updated 2 weeks ago
- HTTP cookie parsing and rendering☆18Updated 8 months ago
- Deserialize PostgreSQL rows to Haskell records by matching column names and record field names☆13Updated 6 years ago
- ☆15Updated 7 years ago
- ☆40Updated last year
- A curated wishlist of Haskell libraries, packages, and tools☆16Updated 8 years ago
- Model-view-controller☆62Updated 2 years ago
- Dependently typed Algorithm M and friends☆25Updated 6 years ago
- Public repo for the units-defs package of well-typed unit definitions.☆13Updated 3 years ago
- Structured logging solution.☆35Updated last year
- Haskell routes using dependent types☆10Updated 8 years ago
- A natural transformation package☆16Updated 2 weeks ago
- A Typeable-free implementation of extensible effects☆26Updated 7 years ago
- Embedding a Full Linear Lambda Calculus in Haskell☆8Updated 9 years ago
- ☆23Updated 6 years ago