lovrosdu

Pinned Repositories

klor
Choreographies in Clojure
Language:Clojure500
jonas-law
Language:Emacs Lisp00
chor-redex
Choreographies + PLT Redex
Language:Racket10
klor-hoc-demo
Language:Clojure10
choral-example-18
Language:Java00
choral
A compiler, testing bed, and standard library for the Choral programming language.
Language:Java225
programming
Language:TeX2115
dm552
Programming Languages course repository
Language:Haskell1014
examples
A repository of use cases and examples of Choral choreographies
Language:Java31
irc
Language:Java10

lovrosdu's Repositories

lovrosdu/klor-hoc-demo
Language:Clojure1
lovrosdu/klor
Choreographies in Clojure
Language:Clojure50
lovrosdu/choral-example-18
Language:Java
lovrosdu/jonas-law
Language:Emacs Lisp
lovrosdu/chor-redex
Choreographies + PLT Redex
Language:Racket1