ccntrq / loxomotive

Related projects ⓘ

Alternatives and complementary repositories for loxomotive

• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆107Updated 2 years ago
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆55Updated 4 months ago
• zehaochen19 / vanilla-lang
  An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
  ☆90Updated last year
• llvm-hs / llvm-hs-kaleidoscope
  Kaleidoscope Tutorial using llvm-hs
  ☆81Updated 3 years ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆51Updated last year
• adamgundry / type-inference
  Unification and type inference algorithms
  ☆123Updated 9 years ago
• mgrabmueller / AlgorithmW
  Example implementation of Algorithm W for Hindley-Milner type inference
  ☆77Updated 2 years ago
• andreasabel / miniagda
  A prototypical dependently typed languages with sized types and variances
  ☆104Updated last year
• bkomuves / toy-language-server
  Example language server (LSP) implementation for a toy language
  ☆60Updated 3 years ago
• bgamari / attoparsec
  A fast Haskell library for parsing ByteStrings
  ☆10Updated 2 years ago
• awalterschulze / the-little-typer-exercises
  exercises for the book - the little typer
  ☆16Updated 2 years ago
• mmcqd / datatt
  A dependent type theory with user defined data types
  ☆45Updated 3 years ago
• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆117Updated 2 years ago
• themattchan / core
  SPJ's tutorial on implementing functional languages
  ☆28Updated 5 years ago
• andrevdm / SimpleHaskellStackVM
  Simple demonstration stack based virtual machine written in Haskell
  ☆42Updated 8 years ago
• jonsterling / dreamtt
  A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
  ☆82Updated 3 years ago
• andorp / mini-grin
  ICFP tutorial
  ☆40Updated 3 years ago
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆33Updated 5 months ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆50Updated 2 weeks ago
• logicshan / pj-lester-book
  ☆16Updated 10 years ago
• unnohideyuki / Tiger-in-Haskell
  "Modern compiler implementation" in Haskell!
  ☆26Updated 9 years ago
• eayus / sirdi
  Package manager for Idris
  ☆35Updated 2 years ago
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 3 months ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆33Updated 2 months ago
• AndrasKovacs / sett
  Setoid type theory implementation
  ☆38Updated last year
• AndrasKovacs / normalization-bench
  Lambda normalization and conversion checking benchmarks for various implementations
  ☆55Updated 3 years ago
• ucsd-progsys / liquid-fixpoint
  Horn Clause Constraint Solving for Liquid Types
  ☆141Updated this week
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆53Updated 6 months ago
• TyGuS / hoogle_plus
  Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
  ☆61Updated last year
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆26Updated 3 weeks ago