Alternatives and similar repositories for loxomotive:

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

• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆108Updated 2 years ago
• bkomuves / toy-language-server
  Example language server (LSP) implementation for a toy language
  ☆60Updated 3 years ago
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 5 months ago
• wh5a / thih
  Typing Haskell in Haskell
  ☆15Updated 14 years ago
• zehaochen19 / vanilla-lang
  An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
  ☆90Updated last year
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆53Updated 2 months ago
• samuela / bidirectional-typing
  A bidirectional type checker
  ☆58Updated 7 years ago
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆56Updated 7 months ago
• adamgundry / type-inference
  Unification and type inference algorithms
  ☆124Updated 9 years ago
• AndrasKovacs / normalization-bench
  Lambda normalization and conversion checking benchmarks for various implementations
  ☆54Updated 3 years ago
• duo-lang / duo-lang
  Duo - A research language exploring duality in programming language design
  ☆57Updated last year
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆52Updated last year
• frex-project / idris-frex
  ☆47Updated last month
• andorp / mini-grin
  ICFP tutorial
  ☆39Updated 3 years ago
• mmcqd / datatt
  A dependent type theory with user defined data types
  ☆45Updated 3 years ago
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆75Updated 3 years ago
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆61Updated last year
• logicshan / pj-lester-book
  ☆16Updated 10 years ago
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆33Updated 7 months ago
• edwinb / Yaffle
  A core language and API for dependently typed languages
  ☆89Updated last year
• gelisam / typechecker-combinators
  ☆16Updated 9 months ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆38Updated 4 years ago
• unnohideyuki / Tiger-in-Haskell
  "Modern compiler implementation" in Haskell!
  ☆26Updated 10 years ago
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 5 years ago
• themattchan / core
  SPJ's tutorial on implementing functional languages
  ☆28Updated 5 years ago
• pigworker / CS410-18
  being the teaching materials and exercises for CS410 in the 2018/19 session
  ☆56Updated 5 years ago
• ngzhian / ski
  SKI combinators
  ☆51Updated 7 years ago
• Russoul / Idris2-Effect
  Experimental effects library for Idris 2
  ☆42Updated 2 years ago
• davdar / maam
  A monadic approach to static analysis following the methodology of AAM
  ☆19Updated 9 years ago