Alternatives and similar repositories for argo

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

• ucsd-progsys / mist
  A tiny language for teaching and experimenting with Refinement Types
  ☆47Updated 4 years ago
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆61Updated last year
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 6 years ago
• AshleyYakeley / Truth
  Changes and Pinafore projects. Pull requests not accepted.
  ☆34Updated last month
• deech / ATS-Strange-Loop-Talk
  ☆47Updated 7 years ago
• kseo / poly_constraints
  Hindley-Milner type inference using constraints
  ☆50Updated 8 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• habit-lang / alb
  ☆39Updated 11 months ago
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆28Updated 6 years ago
• vmchale / atspkg
  Build tool for ATS.
  ☆41Updated 3 years ago
• david-christiansen / idris-type-providers
  Type provider library for Idris
  ☆94Updated 7 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• jdreaver / amy
  Strict Haskell-like programming language that compiles to LLVM
  ☆71Updated 5 years ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆62Updated 6 years ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆35Updated 11 years ago
• serokell / foundry
  Morte IDE
  ☆29Updated 3 months ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 9 months ago
• aherrmann / simply_llvm
  ☆41Updated 8 years ago
• minad / henk
  pure type system language - henk 2000 ported to megaparsec, pretty
  ☆21Updated 9 years ago
• bollu / simplexhc-cpp
  optimising compiler for Haskell's intermediate representation (STG) to LLVM IR
  ☆32Updated 6 years ago
• andorp / mini-grin
  ICFP tutorial
  ☆39Updated 3 years ago
• LPTK / simpler-sub
  Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…
  ☆26Updated 3 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆56Updated 6 years ago
• m0ar / lollipop
  A general purpose programming language with linear types
  ☆43Updated 8 years ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆49Updated 3 years ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 11 years ago
• chrisdone-archive / ats-examples
  Examples from Introduction to Programming in ATS
  ☆26Updated 10 years ago
• elpinal / modules-rs
  An interpreter of F-ing modules
  ☆19Updated 6 years ago
• mietek / agda-intro
  Mirror of Conor McBride’s 2011 Agda course materials
  ☆12Updated 6 years ago