dimitar-asenov / EnvisionLinks
A next-generation IDE that makes programming more efficient
☆98Updated 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☆167Updated 13 years ago
- The Kollos project [ARCHIVED]☆30Updated 2 years ago
- A programming language for live coding☆162Updated 5 years ago
- A Java parser combinator library written with an unmatched feature set.☆126Updated 3 years ago
- a web-based development environment for constructing parsers by example (backend code)☆17Updated 7 years ago
- Chart parser (Earley SPPF)☆27Updated 6 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- Home of the Epoch Programming Language Project☆72Updated 6 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- The latest development version of rose. It may not pass all regression tests.☆107Updated 6 years ago
- WASM builds of the Z3 SMT solver☆146Updated 5 years ago
- A cross-platform implementation of the Immix Garbage Collector☆78Updated 11 years ago
- Editor for language composition☆58Updated 2 years ago
- Generate formatted C++ from Racket S-expressions☆36Updated 9 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 3 years ago
- Modernized Sisal Interpreter☆28Updated 6 years ago
- A programming language and user interface toolkit for creating structured editors.☆20Updated 8 months ago
- A C++11 implementation of Hindley-Milner type inference.☆79Updated 12 years ago
- The Avail programming language. Includes the virtual machine, standard library, and standard examples.☆56Updated 3 months ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆51Updated 6 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆50Updated this week
- A visual programming environment.☆104Updated 5 years ago
- Attribute grammar Based Language Extensions for C☆40Updated 2 months ago
- The Art of 3D, a new language for dynamic document description of real-time 3D animations☆175Updated 4 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 9 months ago
- Studio is an interactive software diagnostics environment☆121Updated 4 years ago
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 3 years ago
- Awelon project is a new UI model with a new language.☆103Updated 9 years ago