lesguillemets / sicp-haskellLinks
SICP in haskell, both exercises and sample codes.
☆11Updated 9 years ago
Alternatives and similar repositories for sicp-haskell
Users that are interested in sicp-haskell are comparing it to the libraries listed below
Sorting:
- just a place to throw some coding experiements while i re-re-re-learn rust☆15Updated 2 years ago
- Haskell JSON library☆27Updated 8 months ago
- Advent of Code 2016, in Haskell☆15Updated 7 years ago
- ☆35Updated 6 years ago
- Reverse proxy HTTP requests, either over raw sockets or with WAI☆55Updated last year
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- URI manipulation facilities☆25Updated 4 months ago
- A Haskell IDE for Visual Studio Code.☆26Updated last month
- S-expression-based syntax alternative for Haskell.☆21Updated 11 years ago
- Wrap up Haskell tools☆15Updated 4 years ago
- Malfunction backend for Idris 2☆12Updated 3 years ago
- Project Z, an initiative to build a Haskell engineering eco-system.☆25Updated 8 months ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 5 months ago
- LibSSH2 FFI bindings for Haskell☆26Updated 3 months ago
- For parts of https://www.ats-lang.org☆27Updated 2 weeks ago
- A minimal example of the Idris C FFI☆14Updated 10 years ago
- SVG Combinators for Haskell☆23Updated 8 years ago
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Updated last year
- An experimental language server for SomewhatML☆24Updated 2 years ago
- ☆14Updated 2 months ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 5 years ago
- Collection of Idris snippets☆22Updated last year
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆59Updated 5 years ago
- An HTTP library for idris☆39Updated 6 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 3 years ago
- build tool and package manager for idris,in idris,with free monads☆32Updated 6 years ago
- Hood debugger, based on the idea of observing functions and structures as they are evaluated.☆20Updated 7 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Deep evaluation of data structures☆41Updated last month
- Invertible parsing for S-expressions☆34Updated 3 months ago