lesguillemets / sicp-haskell
SICP in haskell, both exercises and sample codes.
☆10Updated 8 years ago
Related projects: ⓘ
- LibSSH2 FFI bindings for Haskell☆26Updated 3 months ago
- Contains the system-filepath and system-fileio packages☆9Updated 11 months ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 7 months ago
- Use haskell to produce a nix set of maven dependencies!☆11Updated 2 years ago
- Wrap up Haskell tools☆15Updated 3 years ago
- Lua parser and pretty-printer☆14Updated 4 months ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 4 years ago
- Raft distributed consensus over HTTP☆7Updated 4 years ago
- Haskell library for glob matching☆24Updated 2 years ago
- Heyting Algebras in Haskell☆14Updated last year
- Clipboard synchronization tool☆12Updated 9 months ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 2 years ago
- A Haskell IDE for Visual Studio Code.☆26Updated last month
- Use network sockets together with the Haskell pipes library.☆24Updated 2 years ago
- A fully compliant Haskell 98 lexer.☆15Updated 5 months ago
- ☆20Updated 5 years ago
- Haskell JSON library☆27Updated last year
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 10 months ago
- Backtracking monad in Haskell☆14Updated 2 years ago
- Deep evaluation of data structures☆40Updated last week
- Cursor data and manipulation☆21Updated 9 months ago
- An attempt to reimagine knowledge interaction.☆17Updated 3 years ago
- just a place to throw some coding experiements while i re-re-re-learn rust☆15Updated 2 years ago
- The Codebase UI that ships with UCM☆14Updated 2 weeks ago
- open union and open product types in Haskell☆32Updated 4 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Fast serialization in haskell☆15Updated 4 years ago
- Core modules for a blazing fast markup combinator library☆20Updated 2 months ago
- A semantic highlighter for Idris code☆14Updated 6 years ago
- A library for generating RSS 2.0 feeds.☆18Updated 2 months ago
- URI manipulation facilities☆25Updated 3 weeks ago