orc-lang / orc

Related projects ⓘ

Alternatives and complementary repositories for orc

• standardml / twelf
  The Twelf Programming Language
  ☆109Updated last week
• mmirman / caledon
  higher order dependently typed logic programing
  ☆170Updated 6 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆30Updated last month
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 8 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆58Updated 10 years ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆119Updated 2 years ago
• daniel-kun / omni
  The Omni Programming Language
  ☆34Updated 6 years ago
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆38Updated 5 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆46Updated 10 years ago
• ilya-klyuchnikov / sc-mini
  SC Mini is a "minimal" positive supercompiler
  ☆46Updated 4 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆81Updated 2 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆48Updated 4 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆75Updated last year
• SMLFamily / The-Mechanization-of-Standard-ML
  The Mechanization of Standard ML
  ☆72Updated 2 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆27Updated 6 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆75Updated 7 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆22Updated 4 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 10 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• prologbyexample / code
  ☆28Updated last year
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 7 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 6 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last month
• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆59Updated 7 years ago
• edwinb / WS-idr
  Yes, it is what you think it is
  ☆33Updated 8 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆120Updated 7 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆65Updated 9 years ago
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆118Updated 3 months ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆24Updated 10 years ago