cronokirby / haskell-in-haskell

Related projects: ⓘ

• RedPRL / cooltt
  😎TT
  ☆217Updated 10 months ago
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆120Updated last year
• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆117Updated last year
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆174Updated last week
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆123Updated last year
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆106Updated last year
• msp-strath / TypOS
  being an operating system for typechecking processes
  ☆120Updated last year
• edwinb / Yaffle
  A core language and API for dependently typed languages
  ☆88Updated 9 months ago
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆144Updated 3 weeks ago
• gelisam / klister
  an implementation of stuck macros
  ☆130Updated 2 weeks ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆49Updated 11 months ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆111Updated last week
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆87Updated last year
• haskellweekly / haskellweekly
  Publishes curated news about the Haskell programming language.
  ☆140Updated last week
• agda / agda-language-server
  Language Server for Agda
  ☆100Updated 9 months ago
• idris-community / inigo
  Inigo: A Package Manager for Idris2
  ☆60Updated last year
• grin-compiler / ghc-whole-program-compiler-project
  GHC Whole Program Compiler and External STG IR tooling
  ☆116Updated 10 months ago
• kowainik / tomland
  🏝 Bidirectional TOML serialization
  ☆120Updated 3 months ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆211Updated last year
• jonsterling / dreamtt
  A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
  ☆82Updated 3 years ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆251Updated 2 weeks ago
• jozefg / nbe-for-mltt
  Normalization by Evaluation for Martin-Löf Type Theory
  ☆121Updated 3 months ago
• frizensami / haskell-optimization
  A beginner's guide to Haskell optimization
  ☆64Updated 6 years ago
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆115Updated 3 years ago
• AndrasKovacs / staged
  Staged compilation with dependent types
  ☆153Updated last week
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆32Updated 3 months ago
• ollef / rock
  Build system
  ☆119Updated 11 months ago
• RedPRL / redtt
  "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
  ☆204Updated 2 years ago
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆333Updated this week
• stefan-hoeck / idris2-pack
  ☆98Updated last week