Alternatives and similar repositories for sicp-haskell:

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

• deech / shen-rust
  ☆35Updated 5 years ago
• justinwoo / prefetch-github
  A helper to save me some keystrokes from nix-prefetch-git.
  ☆13Updated 6 years ago
• pepeiborra / gc-benchmarks
  Benchmarks using the non-moving incremental GHC garbage collector
  ☆22Updated 5 years ago
• idris-industry / idris-ffi-example
  A minimal example of the Idris C FFI
  ☆14Updated 9 years ago
• racket / parser-tools
  ☆14Updated last month
• ziman / idris2-mlf
  Malfunction backend for Idris 2
  ☆12Updated 3 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• david-christiansen / idris-code-highlighter
  A semantic highlighter for Idris code
  ☆14Updated 7 years ago
• lihaoyi / autojit
  ☆13Updated 6 years ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last month
• portnov / libssh2-hs
  LibSSH2 FFI bindings for Haskell
  ☆26Updated 3 weeks ago
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 5 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• rudymatela / express
  Dynamically-typed Haskell expressions involving applications and variables.
  ☆22Updated 2 months ago
• ekmett / kanso
  just a place to throw some coding experiements while i re-re-re-learn rust
  ☆15Updated 2 years ago
• fosskers / org-mode
  Parser for Emacs org-mode files
  ☆31Updated last year
• EduardSergeev / vscode-haskutil
  QuickFix actions for Haskell in VSCode
  ☆13Updated 3 weeks ago
• iand675 / hs-brotli
  ☆20Updated 6 years ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 7 months ago
• habit-lang / mil-tools
  Tools for MIL, a Monadic Intermediate Language
  ☆21Updated 7 months ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago
• stchang / redis
  A redis client for Racket.
  ☆17Updated 9 years ago
• obsidiansystems / gargoyle
  A framework for managing daemons from Haskell and libraries for use with postgresql and nix
  ☆21Updated 2 months ago
• coot / heyting-algebras
  Heyting Algebras in Haskell
  ☆14Updated 2 years ago
• GaloisInc / json
  Haskell JSON library
  ☆27Updated 5 months ago
• RobertHarper / nsml
  SML The Living Language
  ☆11Updated 11 years ago
• gdevanla / pptable
  A Haskell library to pretty print data in a tabular format
  ☆11Updated 7 years ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago
• uwap / idris-http
  An HTTP library for idris
  ☆39Updated 6 years ago
• haskell / network-uri
  URI manipulation facilities
  ☆25Updated 2 months ago