dimitar-asenov / EnvisionLinks
A next-generation IDE that makes programming more efficient
☆99Updated 3 years ago
Alternatives and similar repositories for Envision
Users that are interested in Envision are comparing it to the libraries listed below
Sorting:
- The Omni Programming Language☆34Updated 7 years ago
- A programming language where the syntax and semantics are mutable at runtime☆168Updated 13 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆51Updated 6 years ago
- A programming language for live coding☆162Updated 5 years ago
- Modernized Sisal Interpreter☆29Updated 6 years ago
- Implementation of the Aardappel programming language☆31Updated 8 years ago
- Metaprogramming framework for .net☆91Updated 5 years ago
- Editor for language composition☆58Updated 2 years ago
- Chart parser (Earley SPPF)☆27Updated 6 years ago
- The Kollos project [ARCHIVED]☆30Updated 3 years ago
- A Java parser combinator library written with an unmatched feature set.☆128Updated 3 years ago
- Generate formatted C++ from Racket S-expressions☆36Updated 9 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆52Updated 2 months ago
- A cross-platform implementation of the Immix Garbage Collector☆78Updated 11 years ago
- A programming language and user interface toolkit for creating structured editors.☆20Updated 11 months ago
- A visual programming environment.☆104Updated 6 years ago
- The best Prolog visualizer☆85Updated 2 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 3 years ago
- Studio is an interactive software diagnostics environment☆121Updated 4 years ago
- A new logic programming language.☆175Updated 2 years ago
- The Om programming language.☆174Updated 10 months ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆78Updated 9 years ago
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Updated 3 years ago
- A prolog-like language with compound truth value logic☆68Updated 7 years ago
- ☆71Updated 5 years ago
- Cell compiler☆115Updated 2 years ago
- A C++11 implementation of Hindley-Milner type inference.☆79Updated 12 years ago
- A simple C-like language compiler with an extensible syntax and typed macros support☆132Updated 4 years ago
- Some fun examples of solving problems with symbolic execution☆114Updated 7 years ago