pushcx / shenzhen
Solver for Shenzen Solitaire
☆15Updated 7 years ago
Alternatives and similar repositories for shenzhen:
Users that are interested in shenzhen are comparing it to the libraries listed below
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆16Updated last month
- Some writings about a type system for nix☆19Updated 7 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- QuickCheck extras.☆29Updated 5 years ago
- Build tool for ATS.☆41Updated 3 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Lenses and Traversals for Aeson, based on Microlens.☆14Updated 10 months ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 6 months ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- Haskell implementation of MessagePack / msgpack.org☆16Updated last week
- Simple plotting tool for the terminal☆86Updated last year
- GNU bash backend for Idris☆53Updated 6 years ago
- Advent of code 2017 ... ho' ho' ho', so much code' code' code', merry christmas!☆8Updated 7 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Updated 4 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- ☆23Updated 7 years ago
- A small, efficient and portable regex library for Perl 5 compatible regular expressions☆15Updated last year
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- Notes on P-omega☆14Updated 7 years ago
- SML On Stilts☆37Updated 11 years ago
- simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.☆60Updated last year
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Updated 6 years ago
- A simple, purely-functional programming language☆25Updated 2 years ago
- Advent of Code 2018 Solutions☆37Updated 5 years ago
- Christmas code don't write itself☆9Updated 6 years ago
- Vector builder☆16Updated 2 months ago
- Work in progress pure python dhall interpreter☆27Updated 6 years ago