Alternatives and similar repositories for awelon

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

• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• dmbarbour / Sirea
  Simply Reactive! Declarative orchestration in Haskell using RDP
  ☆274Updated 12 years ago
• cruxlang / crux
  Crux Programming Language
  ☆53Updated 3 months ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• mcclure / emily
  Git mirror of https://bitbucket.org/runhello/emily
  ☆60Updated 5 years ago
• cdosborn / lit
  A modern tool for literate programming
  ☆277Updated 8 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 6 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 10 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 12 years ago
• xixixao / Golem
  Shem's powerful IDE.
  ☆62Updated 5 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• noether-lang / noether
  Noether programming language
  ☆129Updated 8 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 9 years ago
• ollef / braces-be-gone
  Get those pesky braces out of your face
  ☆49Updated 8 years ago
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆282Updated 11 years ago
• suhr / wcpl
  ☆16Updated 7 years ago
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆124Updated 6 years ago
• VictorTaelin / articles
  Thoughts and stuff
  ☆70Updated 5 years ago
• breuleux / liso
  Operator syntax for the Lisp family of languages (Racket implementation)
  ☆33Updated 11 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 11 years ago
• ekmett / propagators
  The Art of the Propagator. See also:
  ☆177Updated last year
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 12 years ago
• ptol / oczor
  Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp
  ☆120Updated 8 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 10 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 7 years ago
• sjsyrek / malc
  Make a lambda calculus.
  ☆87Updated 5 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆64Updated 10 years ago
• VictorTaelin / absal-rs
  ☆35Updated 7 years ago
• mietek / charity-lang
  Charity language interpreters and literature
  ☆114Updated 6 years ago
• dobesv / charity
  Charity Programming Language
  ☆41Updated 10 years ago