parapluu / encore

Related projects ⓘ

Alternatives and complementary repositories for encore

• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆14Updated 6 years ago
• ponylang / ponycheck
  Property Based Testing for Ponylang 🐴 ✔️
  ☆59Updated 2 years ago
• ponylang / rfcs
  RFCs for changes to Pony
  ☆59Updated 8 months ago
• jemc / ponycc
  Pony package for parsing, manipulating, and compiling Pony code.
  ☆36Updated 3 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆27Updated 6 years ago
• bvssvni / rust-idris-fs
  An attempt at writing C libraries in Rust that can be called from Idris
  ☆22Updated 9 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆66Updated 5 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated 10 months ago
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆30Updated last year
• mbrock / HBEAM
  Prototypical Haskell virtual machine for Erlang's BEAM bytecode
  ☆27Updated 13 years ago
• chalcolith / kiuatan
  A parser library for Pony.
  ☆17Updated 2 weeks ago
• jtfmumm / pony-functional-data
  Functional data structures for Pony
  ☆44Updated 7 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆32Updated 4 years ago
• VictorTaelin / absal-rs
  ☆36Updated 6 years ago
• diku-dk / futhark-with-fangs
  The web framework nobody asked for, wants, or needs.
  ☆20Updated 3 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆25Updated 5 years ago
• pliniker / mo-gc
  Garbage collector experiments in Rust
  ☆23Updated 8 years ago
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆51Updated 7 years ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆92Updated 6 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• nanotech / dhall-rs
  cargo +nightly build
  ☆34Updated 5 years ago
• m4b / raml
  OCaml runtime and FFI bindings directly in Rust
  ☆79Updated 7 years ago
• jemc / pony-capnp
  Cap’n Proto plugin for generating serializable Pony classes. - 'n
  ☆19Updated 6 years ago
• nikomatsakis / dogged
  Experimental persistent collections in Rust
  ☆43Updated 7 years ago
• nikomatsakis / bidir-type-infer
  Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust
  ☆45Updated 8 years ago
• cgswords / rsc
  Rust-based Scheme Compiler, written in the Nanopass style
  ☆11Updated 6 years ago