Pinned Repositories
development
releases
Prut4j
Adaptation-based model checking for protocol implementations
rebel-reo
Example specifications implemented in Rebel and in Reo
klor
Choreographies in Clojure
prut4j
ib2302
rascal-textmate
rascal
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
rascal-language-servers
An LSP server for Rascal which includes an easy-to-use LSP generator for languages implemented in Rascal, and an interactive terminal REPL.
sungshik's Repositories
sungshik doesn’t have any repository yet.