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:
- Chart parser (Earley SPPF)☆27Updated 6 years ago
- The Omni Programming Language☆34Updated 7 years ago
- A programming language where the syntax and semantics are mutable at runtime☆166Updated 13 years ago
- Editor for language composition☆58Updated 2 years ago
- The Kollos project [ARCHIVED]☆30Updated 2 years ago
- Metaprogramming framework for .net☆91Updated 5 years ago
- Spoofax runtime☆145Updated last month
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated last year
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆78Updated 9 years ago
- A C++11 implementation of Hindley-Milner type inference.☆79Updated 12 years ago
- A cross-platform implementation of the Immix Garbage Collector☆78Updated 11 years ago
- A Java parser combinator library written with an unmatched feature set.☆126Updated 3 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 8 months ago
- The latest development version of rose. It may not pass all regression tests.☆107Updated 6 years ago
- ☆71Updated 4 years ago
- A simulator for visualising the evolution of π-calculus terms☆42Updated 2 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- ☆31Updated 9 years ago
- Modernized Sisal Interpreter☆28Updated 6 years ago
- The Avail programming language. Includes the virtual machine, standard library, and standard examples.☆56Updated 2 months ago
- Generic scaffolding for an end-to-end LLVM-based compiler☆35Updated 4 years ago
- Implementation of Pratt parser in C++11☆26Updated 10 years ago
- A simple C-like language compiler with an extensible syntax and typed macros support☆132Updated 4 years ago
- Legacy repo, migrated to cheerp-compiler monorepo☆214Updated 4 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆51Updated 6 years ago
- A programming language and user interface toolkit for creating structured editors.☆20Updated 8 months ago
- SOMns: A Newspeak for Concurrency Research☆69Updated 3 months ago
- The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…☆72Updated 4 years ago
- Parse any language you can describe in BNF☆159Updated last year
- surgical precision JIT compilers☆121Updated 7 years ago