Alternatives and similar repositories for mps-coderules:

Users that are interested in mps-coderules are comparing it to the libraries listed below

• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• Strumenta / MPSServer
  ☆20Updated last year
• jkoppel / ecta
  ☆34Updated 11 months ago
• Strumenta / webeditkit
  A framework to build projectional editors running in the browser
  ☆14Updated last year
• enso-lang / enso
  ☆71Updated 4 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 4 months ago
• qfpl / propagator-examples
  ☆38Updated 5 years ago
• orc-lang / orc
  Orc programming language implementation
  ☆43Updated 3 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆34Updated 9 months ago
• freon4dsl / Freon4dsl
  Web Native language Workbench with Projectional Web Editor
  ☆69Updated this week
• prologbyexample / code
  ☆28Updated 2 years ago
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆116Updated last month
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆30Updated 4 months ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago
• mtt-lang / mtt-lang
  A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web
  ☆43Updated 2 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• mmirman / caledon
  higher order dependently typed logic programing
  ☆170Updated 6 years ago
• hazelgrove / HZ
  Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)
  ☆29Updated 7 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• flix / book
  The Flix Programming Book
  ☆17Updated 3 weeks ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated 3 months ago
• webyrd / midoriKanren
  Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
  ☆16Updated 3 months ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆28Updated 2 weeks ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated 7 months ago
• madman-bob / idris2-python
  A Python backed for Idris 2
  ☆21Updated 4 months ago
• pnwamk / stop2015-redex
  PLT Redex model of basic Dependently Typed Racket calculus
  ☆18Updated 9 years ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆24Updated 3 months ago
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 5 years ago