Alternatives and similar repositories for orc:

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

• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• mmirman / caledon
  higher order dependently typed logic programing
  ☆170Updated 6 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 11 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 6 months ago
• standardml / twelf
  The Twelf Programming Language
  ☆122Updated 2 months ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆55Updated 3 months ago
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆117Updated 3 weeks ago
• SMLFamily / BasisLibrary
  Repository and Wiki for enriching the Standard ML Basis Library
  ☆61Updated 3 years ago
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆40Updated 6 years ago
• SMLFamily / The-Mechanization-of-Standard-ML
  The Mechanization of Standard ML
  ☆72Updated 2 years ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆120Updated 3 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆28Updated 6 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆78Updated 7 years ago
• mietek / charity-lang
  Charity language interpreters and literature
  ☆114Updated 6 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• jonsterling / JonPRL
  An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …
  ☆110Updated 6 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆28Updated 8 years ago
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆214Updated 2 years ago
• ekmett / propagators
  The Art of the Propagator. See also:
  ☆172Updated last year
• standardml / smackage
  Smackage Package Manager for Standard ML
  ☆123Updated 2 years ago
• gelisam / klister
  an implementation of stuck macros
  ☆139Updated last month
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• pnwamk / stop2015-redex
  PLT Redex model of basic Dependently Typed Racket calculus
  ☆18Updated 10 years ago
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• codedot / lambda
  Macro Lambda Calculus
  ☆49Updated 6 years ago
• urweb / upo
  The Ur/Web People Organizer
  ☆30Updated 11 months ago
• racket / redex
  ☆94Updated last week
• ilya-klyuchnikov / sc-mini
  SC Mini is a "minimal" positive supercompiler
  ☆47Updated 4 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆155Updated 11 months ago