Alternatives and similar repositories for encore:

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

• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 6 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆32Updated 4 years ago
• denismerigoux / rox-star
  Rust to F* toolchain
  ☆41Updated 5 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• nikomatsakis / rust-redex
  A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
  ☆41Updated 10 years ago
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆52Updated 7 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆67Updated 5 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆28Updated 6 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• madgen / exalog
  Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support
  ☆16Updated 4 years ago
• deech / shen-rust
  ☆35Updated 5 years ago
• ponylang / rfcs
  RFCs for changes to Pony
  ☆61Updated 3 weeks ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 6 years ago
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 4 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 10 years ago
• edwinb / WS-idr
  Yes, it is what you think it is
  ☆33Updated 9 years ago
• lee-naish / Pawns
  Pawns functional/imperative programming language compiler etc
  ☆9Updated 2 months ago
• ISANobody / sill
  ☆29Updated 9 years ago
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆29Updated last year
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆115Updated last year
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆61Updated last year
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆30Updated 6 years ago
• graydon / z3-rs
  ☆23Updated 6 years ago
• Ekdohibs / joujou
  A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …
  ☆89Updated 6 years ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆52Updated 8 years ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆91Updated 6 years ago
• ymyzk / lambda-dti
  Interpreter of the ITGL with dynamic type inference
  ☆21Updated this week
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆30Updated 5 years ago
• nikomatsakis / dogged
  Experimental persistent collections in Rust
  ☆45Updated 7 years ago