Alternatives and similar repositories for Envision:

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

• daniel-kun / omni
  The Omni Programming Language
  ☆34Updated 7 years ago
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆163Updated 12 years ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆101Updated 9 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• robbertkrebbers / ch2o
  ☆88Updated 2 years ago
• AvailLang / Avail
  The Avail programming language. Includes the virtual machine, standard library, and standard examples.
  ☆54Updated last month
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆75Updated 7 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆133Updated 5 months ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆50Updated 9 months ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆121Updated 7 years ago
• andyfischer / circa
  A programming language for live coding
  ☆162Updated 4 years ago
• combinatorylogic / mbase
  Metaprogramming framework for .net
  ☆89Updated 5 years ago
• jozefg / pcf
  A small compiler for PCF
  ☆123Updated 4 years ago
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆108Updated 5 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆86Updated 11 months ago
• dobesv / charity
  Charity Programming Language
  ☆39Updated 9 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 5 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago
• jaredhoberock / hindley_milner
  A C++11 implementation of Hindley-Milner type inference.
  ☆78Updated 12 years ago
• AnyDSL / impala
  An imperative and functional programming language
  ☆153Updated last week
• rrnewton / Essentials-of-Compilation
  A book about compiling Racket to x86-64 assembly
  ☆20Updated 7 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• jeffreykegler / old_kollos
  The Kollos project [ARCHIVED]
  ☆30Updated 2 years ago
• keean / Parser-Combinators
  C++ parser combinator library
  ☆97Updated 9 years ago
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆125Updated 3 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• ucsc-proglang / sage
  The dependently & gradually typed Sage programming language
  ☆9Updated 10 years ago
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆106Updated 3 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆157Updated 5 years ago