dimitar-asenov / Envision

Related projects ⓘ

Alternatives and complementary repositories for Envision

• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 5 years ago
• daniel-kun / omni
  The Omni Programming Language
  ☆34Updated 6 years ago
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆163Updated 12 years ago
• softdevteam / eco
  Editor for language composition
  ☆56Updated last year
• combinatorylogic / mbase
  Metaprogramming framework for .net
  ☆87Updated 4 years ago
• jaredhoberock / hindley_milner
  A C++11 implementation of Hindley-Milner type inference.
  ☆77Updated 11 years ago
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆125Updated 3 years ago
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆106Updated 3 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆102Updated 8 months ago
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆108Updated 5 years ago
• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆192Updated 4 months ago
• enso-lang / enso
  ☆71Updated 4 years ago
• akabe / evilml
  A compiler from ML to C++ template language
  ☆158Updated 9 years ago
• andyfischer / circa
  A programming language for live coding
  ☆162Updated 4 years ago
• combinatorylogic / clike
  A simple C-like language compiler with an extensible syntax and typed macros support
  ☆127Updated 3 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 8 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆129Updated 3 months ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 6 years ago
• xoofx / gcix
  A cross-platform implementation of the Immix Garbage Collector
  ☆77Updated 10 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆75Updated 7 years ago
• jeffreykegler / old_kollos
  The Kollos project [ARCHIVED]
  ☆30Updated 2 years ago
• scrossuk / locic
  Compiler and tools for the Loci programming language.
  ☆115Updated 4 years ago
• robbertkrebbers / ch2o
  ☆87Updated 2 years ago
• AvailLang / Avail
  The Avail programming language. Includes the virtual machine, standard library, and standard examples.
  ☆54Updated last month
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆51Updated 7 months ago
• keean / Parser-Combinators
  C++ parser combinator library
  ☆97Updated 9 years ago
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆74Updated 8 years ago
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆54Updated 2 years ago
• sparist / Om
  The Om programming language.
  ☆168Updated 3 weeks ago