Alternatives and similar repositories for quorum-language

Users that are interested in quorum-language are comparing it to the libraries listed below

• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆55Updated 2 years ago
• Rhovas / Interpreter
  The interpreter for Rhovas, a programming language for API design and enforcement.
  ☆35Updated 3 months ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆33Updated 10 months ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆37Updated 3 weeks ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years ago
• smlnj / smlnj
  Standard ML of New Jersey
  ☆226Updated this week
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆42Updated 2 years ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆67Updated 2 months ago
• standardml / twelf
  The Twelf Programming Language
  ☆143Updated this week
• cognate-lang / cognate
  A human readable quasi-concatenative programming language
  ☆258Updated 9 months ago
• khasm-lang / khasmc
  A functional programming language, mirroring Erlang and Go, but with more OCaml!
  ☆28Updated last month
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆128Updated last week
• fir-lang / fir
  Fir programming language
  ☆79Updated 2 weeks ago
• proglangdesign / proglangdesign.github.io
  A website for the #proglangdesign community on freenode
  ☆112Updated 2 weeks ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆84Updated 3 months ago
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆167Updated 2 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆64Updated last week
• ALANVF / star
  An experimental programming language that's made to be powerful, productive, and predictable
  ☆144Updated 7 months ago
• basilTeam / basil
  Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…
  ☆124Updated 4 years ago
• swtwsk / vinci-lang
  A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language
  ☆15Updated 4 years ago
• elucent / scheme2d
  The future of programming.
  ☆69Updated 4 years ago
• taolson / Admiran
  Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆81Updated this week
• astampoulis / makam
  The Makam Metalanguage
  ☆197Updated 2 years ago
• hkust-taco / mlscript
  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…
  ☆212Updated this week
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆70Updated last year
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆31Updated 8 years ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆71Updated 3 weeks ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated last year
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆326Updated last week
• RyanBrewer317 / cricket_rs
  A tiny lazy objective functional language
  ☆19Updated last year