Pinned Repositories
alphabet-cover-problem
Implementation of alphabet cover problem with words of length 5 - from standupmaths
aterms
ATerms implementation in Rust
flock
FlowSpec - Dataflow Specification Implementation
flock.subject
Subject language for testing the Flock project
gale
Work in progress language, including lexer, parser, typechecker, compiler and JIT vm
java-front
Java frontend for Spoofax
jdk
JDK main-line development https://openjdk.org/projects/jdk
raei-engine
tecs
Term Checking System
ters
Term Rewriting System
MDBijman's Repositories
MDBijman/gale
Work in progress language, including lexer, parser, typechecker, compiler and JIT vm
MDBijman/raei-engine
MDBijman/ters
Term Rewriting System
MDBijman/aterms
ATerms implementation in Rust
MDBijman/tecs
Term Checking System
MDBijman/alphabet-cover-problem
Implementation of alphabet cover problem with words of length 5 - from standupmaths
MDBijman/flock
FlowSpec - Dataflow Specification Implementation
MDBijman/flock.subject
Subject language for testing the Flock project
MDBijman/java-front
Java frontend for Spoofax
MDBijman/jdk
JDK main-line development https://openjdk.org/projects/jdk
MDBijman/jdk11
https://openjdk.org/projects/jdk/11 released 2018-09-25
MDBijman/LambdaJS
Semantics and tools for JavaScript
MDBijman/metaborg-tiger
MDBijman/spoofax-asm-x86
x86 Assembly Language Project
MDBijman/sturdy
Haskell library to create abstract interpreters
MDBijman/tiger-rs
Rust implementation of the projects from the book Modern Compiler Implementation in ML