Alternatives and similar repositories for encore

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

• ponylang / rfcs
  RFCs for changes to Pony
  ☆61Updated 9 months ago
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated last year
• bollu / timi
  A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
  ☆72Updated 8 years ago
• AnyDSL / impala
  An imperative and functional programming language
  ☆158Updated 5 months ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆29Updated 7 years ago
• AnyDSL / thorin
  The Higher-Order Intermediate Representation
  ☆161Updated this week
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆31Updated 6 years ago
• idris-hackers / idris-llvm
  Idris LLVM codegen factored out
  ☆82Updated 8 years ago
• bvssvni / rust-idris-fs
  An attempt at writing C libraries in Rust that can be called from Idris
  ☆22Updated 10 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• jeffreykegler / old_kollos
  The Kollos project [ARCHIVED]
  ☆30Updated 3 years ago
• ikko-lang / ikko
  Ikko language
  ☆26Updated 5 years ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆84Updated 10 years ago
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆223Updated 2 years ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆166Updated 6 months ago
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆96Updated 3 years ago
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆51Updated 8 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆64Updated 10 years ago
• kseo / poly_constraints
  Hindley-Milner type inference using constraints
  ☆50Updated 8 years ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆129Updated last year
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆45Updated 5 years ago
• willcrichton / rabbot
  Abstract binding tree code generator
  ☆37Updated 9 years ago
• edwinb / WS-idr
  Yes, it is what you think it is
  ☆33Updated 9 years ago
• deech / ATS-Strange-Loop-Talk
  ☆47Updated 8 years ago
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆42Updated 6 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆34Updated 5 years ago
• ats-lang / ATS-CodeBook
  This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…
  ☆62Updated 4 years ago
• diku-kmc / kleenexlang
  The Kleenex programming language
  ☆56Updated last year
• ilya-klyuchnikov / lambdapi
  Dependently Typed Lambda Calculus in Haskell
  ☆115Updated 4 years ago
• nikomatsakis / bidir-type-infer
  Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust
  ☆46Updated 9 years ago