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:
- Paris Functional Programming Meetup☆27Updated 5 years ago
- Get the Haskell documentation of a name from a module☆31Updated 6 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- Fixed length vector for haskell☆21Updated this week
- ☆59Updated last year
- Framework for running and organising QuickCheck test properties and HUnit test cases☆25Updated 3 weeks ago
- Model-view-controller☆64Updated 2 years ago
- Tagged Haskell learning resources index☆21Updated 8 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Where I try code from Haskell (etc) books, articles, etc.☆36Updated 2 years ago
- being the programs and code for a paper about general recursion☆26Updated 10 years ago
- Automatically finds dependencies and runs a Haskell file with stack (no cabal manifest, no stack.yaml, no project, no friction)☆32Updated 8 years ago
- Some useful control operators for looping☆47Updated 5 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- library to manipulate git repositories in haskell (no bindings)☆50Updated 6 years ago
- API wrapper for Github's API in Haskell with tests☆17Updated 9 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago
- Command-line tool for formatting and publishing blog posts.☆20Updated last year
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Generate standalone haddock documentation for a set of packages☆28Updated 5 years ago
- ☆23Updated 7 years ago
- List monad transformer☆60Updated last year
- Dependently typed elimination functions using singletons☆28Updated 6 months ago
- ☆23Updated 7 years ago
- Compiler for IMP programming language implemented in Haskell☆16Updated 5 years ago
- QuickCheck extras.☆29Updated 6 years ago
- Hackage search engine☆56Updated 7 years ago
- Interval Arithmetic☆27Updated 5 months ago