Alternatives and similar repositories for sicp-haskell

Users that are interested in sicp-haskell are comparing it to the libraries listed below

• ziman / idris2-mlf
  Malfunction backend for Idris 2
  ☆12Updated 3 years ago
• deech / shen-rust
  ☆35Updated 5 years ago
• bryal / carth
  The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/
  ☆22Updated last year
• rudymatela / express
  Dynamically-typed Haskell expressions involving applications and variables.
  ☆22Updated 3 months ago
• idris-industry / idris-ffi-example
  A minimal example of the Idris C FFI
  ☆14Updated 10 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• lihaoyi / autojit
  ☆13Updated 6 years ago
• justinwoo / prefetch-github
  A helper to save me some keystrokes from nix-prefetch-git.
  ☆13Updated 6 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago
• portnov / libssh2-hs
  LibSSH2 FFI bindings for Haskell
  ☆26Updated last month
• deepakjois / blaze-svg
  SVG Combinators for Haskell
  ☆23Updated 7 years ago
• pepeiborra / gc-benchmarks
  Benchmarks using the non-moving incremental GHC garbage collector
  ☆22Updated 5 years ago
• racket / parser-tools
  ☆14Updated this week
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated last year
• ekmett / kanso
  just a place to throw some coding experiements while i re-re-re-learn rust
  ☆15Updated 2 years ago
• haskell / network-uri
  URI manipulation facilities
  ☆25Updated 2 months ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 5 years ago
• RobertHarper / nsml
  SML The Living Language
  ☆11Updated 11 years ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago
• edwinb / idris2-clibs
  Idris 2 bindings to various C libraries
  ☆15Updated 3 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆14Updated 4 years ago
• JoeyEremondi / aoc-2020-idris
  My Idris2 solutions/attempts for Advent of Code 2020
  ☆17Updated 4 years ago
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 6 years ago
• GaloisInc / json
  Haskell JSON library
  ☆27Updated 6 months ago
• fpco / schoolofhaskell.com
  ☆16Updated 5 years ago
• Trebor-Huang / agda-linear
  An implementation of a Zeilberger-style linear type theory.
  ☆11Updated 3 years ago
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 4 years ago
• ZHaskell / docs
  Project Z, an initiative to build a Haskell engineering eco-system.
  ☆25Updated 6 months ago