Alternatives and similar repositories for Caramel

Users that are interested in Caramel are comparing it to the libraries listed below

• Gabriella439 / Haskell-Morte-Library
  A bare-bones calculus-of-constructions
  ☆381Updated 3 years ago
• xixixao / Shem
  The compiler of the programming language Shem
  ☆392Updated 5 years ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆375Updated 8 years ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆182Updated 6 years ago
• ChrisPenner / rasa
  Extremely modular text editor built in Haskell
  ☆623Updated 5 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆103Updated 7 years ago
• ollef / Earley
  Parsing all context-free grammars using Earley's algorithm in Haskell.
  ☆374Updated 2 years ago
• mattgreen / hython
  Haskell-powered Python 3 interpreter
  ☆580Updated 8 years ago
• mightybyte / monad-challenges
  A set of challenges for jump starting your understanding of monads.
  ☆338Updated 4 years ago
• mietek / total-fp
  Total functional programming (ESFP) literature
  ☆187Updated 6 years ago
• rgleichman / glance
  A visual Haskell
  ☆730Updated 3 years ago
• IntelLabs / flrc
  Haskell Research Compiler
  ☆818Updated 3 years ago
• idris-hackers / idris-koans
  Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…
  ☆182Updated 7 years ago
• faylang / fay
  A proper subset of Haskell that compiles to JavaScript
  ☆1,285Updated 4 years ago
• iostreamer-X / FuncShell
  Improve your shell by making it functional through Haskell! (An update to Awkward)
  ☆290Updated 3 years ago
• sdiehl / tinyjit
  Haskell JIT
  ☆186Updated 5 years ago
• GaloisInc / haskell-tor
  A Haskell implementation of the Tor protocol.
  ☆273Updated 8 years ago
• talw / crisp-compiler
  A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
  ☆100Updated 9 years ago
• commercialhaskell / commercialhaskell
  A special interest group for companies and individuals interested in commercial usage of Haskell
  ☆460Updated 2 years ago
• tulip-lang / tulip
  ☆211Updated 7 years ago
• mikeizbicki / HerbiePlugin
  GHC plugin that improves Haskell code's numerical stability
  ☆194Updated 10 years ago
• sinelaw / infernu
  Type inference and checking for a safer JavaScript.
  ☆340Updated 6 years ago
• tomprimozic / type-systems
  Implementations of various type systems in OCaml.
  ☆1,593Updated 10 years ago
• lukexi / halive
  Live recompiler for Haskell
  ☆263Updated 4 years ago
• mikeizbicki / subhask
  Type safe interface for working in subcategories of Hask
  ☆419Updated 6 years ago
• VictorTaelin / optlam
  An optimal function evaluator written in JavaScript.
  ☆139Updated 8 years ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆304Updated 2 years ago
• lexi-lambda / hackett
  WIP implementation of a Haskell-like Lisp in Racket
  ☆1,189Updated last year
• transient-haskell / transient
  A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, pa…
  ☆632Updated 4 years ago
• ianthehenry / basilica
  It's kinda like a forum.
  ☆115Updated 4 years ago