usethesource / vallang
Generic immutable recursive data representation API targeted at source code models and more.
☆36Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for vallang
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆32Updated this week
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆50Updated 7 months ago
- a book about declarative language definition☆23Updated 8 years ago
- Algebraic Data Type Code Generator for Java and Apache Maven☆21Updated last year
- A reporting project on the performance of self-optimizing interpreters☆16Updated 8 years ago
- DEPRECATED☆12Updated 8 years ago
- Artifact accompanying our OOPSLA'15 publication.☆32Updated last year
- Extensible stream pipelines with object algebras.☆26Updated 9 years ago
- Whole Platform Language Workbench☆27Updated 5 months ago
- Library-based Language Extensibility☆39Updated 10 years ago
- An implementation of Oz on top of Truffle and Graal☆41Updated 2 years ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆77Updated 6 years ago
- Read-only primitive Java arrays backed by Direct Buffers and indexed using 64-bit indexes☆12Updated 7 years ago
- Resumable exceptions and delimited continuations for JVM☆39Updated 3 months ago
- This is a clone of an SVN repository at svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk. It had been cloned by http://svn2github.…☆9Updated 7 years ago
- Parallel boolean circuit evaluation☆19Updated 6 years ago
- The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated b…☆8Updated 3 years ago
- SOMns: A Newspeak for Concurrency Research☆67Updated last year
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated this week
- ☆34Updated 4 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- My experimental programming language using Truffle☆110Updated 4 years ago
- ☆71Updated 4 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆14Updated 2 years ago
- Java <-> XSB Prolog bridge library☆12Updated 4 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆45Updated 2 years ago
- JVM Abstracting Abstract Machine☆25Updated 5 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 6 years ago
- purple: compiling a reflective language☆29Updated last month