Alternatives and similar repositories for poly:

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

• chewxy / hm
  a simple Hindley-Milner type system in Go
  ☆61Updated 7 years ago
• StanzaOrg / lbstanza
  L.B. Stanza Programming Language
  ☆23Updated last month
• KMahoney / kuljet
  The Kuljet language
  ☆25Updated last month
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆80Updated 4 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆30Updated 5 years ago
• evincarofautumn / Hap
  A simple concurrent programming language.
  ☆22Updated 4 years ago
• joshsharp / braid
  A functional language with Reason-like syntax that compiles to Go.
  ☆139Updated 5 years ago
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 5 years ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆38Updated 3 months ago
• szktty / trompe
  A strongly-typed handy scripting language with type inference
  ☆14Updated 6 years ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆53Updated last year
• lindig / lua-ml
  An embeddable Lua 2.5 interpreter implemented in OCaml
  ☆125Updated last week
• acook / blacklight
  a stack-based concatenative virtual machine for implementing highly concurrent languages
  ☆45Updated last year
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆115Updated last year
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 9 months ago
• koka-lang / nodec
  NodeC -- A lean NodeJS in C using algebraic effect handlers.
  ☆34Updated 6 years ago
• fsantanna / dceu
  ☆29Updated 5 months ago
• munificent / bulfinch
  Just a little toy language to learn about register-based VMs.
  ☆21Updated 12 years ago
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated last year
• faiface / funky
  the best functional language ever
  ☆40Updated 5 years ago
• ripta / kaleidoscope
  LLVM's Kaleidoscope in Golang
  ☆16Updated 9 years ago
• ponylang / pony-language-server
  Language server for Pony
  ☆21Updated 3 months ago
• cassowarii / alma
  poetic concatenative programming language
  ☆10Updated 7 months ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆28Updated 6 years ago
• mirage / decompress
  Pure OCaml implementation of Zlib.
  ☆117Updated 2 months ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago
• nikodemus / foolang
  A toy programming language.
  ☆39Updated last year
• arichel / PicoScheme
  Tiny scheme implementation written in c++17
  ☆26Updated 6 years ago
• xanadu-lang / xanadu
  This repository is supposed to hold a released version of Xanadu
  ☆24Updated 3 years ago