orome / crypto-enigma-hsLinks
A Haskell Enigma machine simulator with rich display and machine state details.
☆23Updated 2 years ago
Alternatives and similar repositories for crypto-enigma-hs
Users that are interested in crypto-enigma-hs are comparing it to the libraries listed below
Sorting:
- ☆59Updated last year
- Paris Functional Programming Meetup☆27Updated 5 years ago
- Model-view-controller☆64Updated 3 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 9 years ago
- ☆23Updated 8 years ago
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- Get the Haskell documentation of a name from a module☆31Updated 6 years ago
- Command-line tool for formatting and publishing blog posts.☆20Updated 2 years ago
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52Updated 3 months ago
- Binary streaming library for Postgres data pipelines☆17Updated 5 years ago
- QuickCheck extras.☆29Updated 6 years ago
- A port of QuickCheck to Idris☆60Updated 7 years ago
- being the programs and code for a paper about general recursion☆26Updated 10 years ago
- Some useful control operators for looping☆47Updated 5 years ago
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆37Updated 8 years ago
- ☆23Updated 7 years ago
- API wrapper for Github's API in Haskell with tests☆17Updated 9 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- Fixed length vector for haskell☆21Updated last month
- Auto-parallelizing Pure Functional Language☆27Updated 6 years ago
- First class composable record labels for Haskell.☆68Updated 3 years ago
- Where I try code from Haskell (etc) books, articles, etc.☆36Updated last month
- Tagged Haskell learning resources index☆21Updated 9 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- Provably correct implementation of insertion sort in Idris.☆31Updated 4 years ago
- A monad transformer and corresponding type class for computations which consume random values.☆33Updated 5 months ago
- library to manipulate git repositories in haskell (no bindings)☆50Updated 6 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆45Updated 8 years ago
- simple interface to ghc's simd vector support☆23Updated 10 years ago