sungshik

Pinned Repositories

• development

  Language:Java21301

• releases

  10

• Prut4j

  Adaptation-based model checking for protocol implementations

  Language:Java00

• rebel-reo

  Example specifications implemented in Rebel and in Reo

  Language:Java0400

• klor

  Choreographies in Clojure

  Language:Clojure420

• prut4j

  Language:Java0300

• ib2302

  Language:Java1505

• rascal-textmate

  Language:Rascal0210

• rascal

  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)

  Language:Java399271.9k78

• 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.

  Language:Java10182757

sungshik's Repositories