Alternatives and similar repositories for latro

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

• jtfmumm / novitiate
  A procedurally generated RPG inspired by Rogue and written in Pony.
  ☆69Updated 5 years ago
• fold-lang / fold
  A meta-language for OCaml. (Unreleased)
  ☆25Updated 6 months ago
• kofigumbs / codec-beam
  Generate Erlang VM byte code from Haskell
  ☆171Updated 6 months ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆14Updated 5 years ago
• gramlang / gram
  A programming language for distributed systems.
  ☆34Updated 3 weeks ago
• idris-hackers / IdrisScript
  FFI Bindings to interact with the unsafe world of JavaScript
  ☆93Updated 6 years ago
• cdouglass / samara
  An interpreter for a small ML-ish language
  ☆11Updated 7 years ago
• purescript-contrib / purescript-parsing
  A parser combinator library based on Parsec
  ☆153Updated 2 months ago
• kindl / Hypatia
  A ML-family Language Compiled to Lua
  ☆143Updated 3 weeks ago
• michallepicki / tibe
  Ahnfelt's Type Inference by Example but implemented in Gleam
  ☆12Updated last year
• jdreaver / amy
  Strict Haskell-like programming language that compiles to LLVM
  ☆70Updated 5 years ago
• swgillespie / pine
  An ML-like language featuring native compilation.
  ☆18Updated 9 years ago
• ponylang / rfcs
  RFCs for changes to Pony
  ☆61Updated 4 months ago
• lexi-lambda / higher-rank
  A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
  ☆101Updated 8 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 2 years ago
• aneksteind / Core
  compile your own functional language
  ☆36Updated 6 years ago
• idris-hackers / IdrisWeb
  A secure web framework, built in the Idris language.
  ☆110Updated 11 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 8 months ago
• darklang / philip2
  An Elm to OCaml compiler
  ☆206Updated 5 years ago
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆61Updated last year
• cmcl / frankjnr
  Another implementation of Frank.
  ☆70Updated 7 years ago
• mgrabmueller / AlgorithmW
  Example implementation of Algorithm W for Hindley-Milner type inference
  ☆80Updated 3 years ago
• tulip-lang / tulip
  ☆209Updated 7 years ago
• serras / hinc
  Haskell In New Clothes
  ☆110Updated 4 years ago
• bodil / purescript-smolder
  A combinator library for generating markup
  ☆90Updated 3 years ago
• tcr / rust-hindley-milner
  An implementation of the Hindley-Milner type system in Rust.
  ☆43Updated 8 years ago
• tomhoule / purescript-waterslide-rs
  Generate Purescript types from your Rust types. (unmaintained)
  ☆42Updated 6 years ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆166Updated last month
• exists-forall / nickel
  A safe and efficient target language for functional compilers
  ☆20Updated 7 years ago
• poor-a / erlang-ffi
  A Foreign Function Interface that lets Haskell and Erlang programs communicate.
  ☆67Updated last year