sdiehl / kaleidoscope

Related projects ⓘ

Alternatives and complementary repositories for kaleidoscope

• haskell / parsec
  A monadic parser combinator library
  ☆847Updated 6 months ago
• llvm-hs / llvm-hs
  Haskell bindings for LLVM
  ☆511Updated 4 months ago
• write-you-a-scheme-v2 / scheme
  Write You a Scheme
  ☆552Updated last year
• mrkkrp / megaparsec
  Industrial-strength monadic parser combinator library
  ☆919Updated last month
• tomprimozic / type-systems
  Implementations of various type systems in OCaml.
  ☆1,540Updated 9 years ago
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,196Updated this week
• quchen / articles
  Miscellaneous articles. The readme is the table of contents.
  ☆1,251Updated last year
• Gabriella439 / turtle
  Shell programming, Haskell style
  ☆946Updated 5 months ago
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,030Updated last year
• sdiehl / write-you-a-haskell
  Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
  ☆3,351Updated 3 years ago
• ollef / sixten
  Functional programming with fewer indirections
  ☆761Updated 4 years ago
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,372Updated this week
• the-little-typer / pie
  The Pie language, which accompanies The Little Typer by Friedman and Christiansen
  ☆697Updated 3 years ago
• JakeWheat / intro_to_parsing
  Introduction to parsing with Haskell and Parsec
  ☆503Updated 5 years ago
• ekmett / lens
  Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
  ☆2,032Updated last week
• idris-lang / Idris-dev
  A Dependently Typed Functional Programming Language
  ☆3,436Updated 3 months ago
• MLton / mlton
  The MLton repository
  ☆958Updated 2 weeks ago
• sdiehl / wiwinwlh
  What I Wish I Knew When Learning Haskell
  ☆2,568Updated 2 years ago
• faylang / fay
  A proper subset of Haskell that compiles to JavaScript
  ☆1,283Updated 3 years ago
• sweirich / pi-forall
  A demo implementation of a simple dependently-typed language
  ☆563Updated this week
• ndmitchell / ghcid
  Very low feature GHCi based IDE
  ☆1,134Updated 8 months ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆365Updated 7 years ago
• ndmitchell / shake
  Shake build system
  ☆773Updated 6 months ago
• IntelLabs / flrc
  Haskell Research Compiler
  ☆817Updated 2 years ago
• HuwCampbell / grenade
  Deep Learning in Haskell
  ☆1,449Updated 11 months ago
• AccelerateHS / accelerate
  Embedded language for high-performance array computations
  ☆904Updated 3 weeks ago
• lexi-lambda / hackett
  WIP implementation of a Haskell-like Lisp in Racket
  ☆1,166Updated 7 months ago
• haskell / aeson
  A fast Haskell JSON library
  ☆1,255Updated 3 months ago
• snoyberg / conduit
  A streaming data library
  ☆903Updated 2 months ago
• tweag / asterius
  DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
  ☆1,974Updated 2 years ago