Topic: "plt-redex"
namin/dot
formalization of the Dependent Object Types (DOT) calculus
Size: 4.57 MB - Last synced at: 7 days ago - Pushed at: over 8 years ago - Stars: 158 - Forks: 12
ilyasergey/plt-redex-fj
A PLT Redex implementation of Featherweight Java
Language: Racket - Size: 155 KB - Last synced at: about 1 month ago - Pushed at: over 12 years ago - Stars: 15 - Forks: 2
juniorxxue/learn-plt-redex
Resources for Learning PLT Redex
Size: 7.81 KB - Last synced at: 3 days ago - Pushed at: almost 4 years ago - Stars: 11 - Forks: 1
TOPLLab/GraphRedex
🌐 An interactive semantics explorer
Language: TypeScript - Size: 6.39 MB - Last synced at: 16 days ago - Pushed at: 5 months ago - Stars: 7 - Forks: 0
jswalens/chocola-redex
PLT Redex implementation of Chocola.
Language: Racket - Size: 120 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 4 - Forks: 0
jswalens/plt-redex-exercises
Exercises for PLT Redex Summer School 2015
Language: Racket - Size: 141 KB - Last synced at: about 1 year ago - Pushed at: over 9 years ago - Stars: 1 - Forks: 0
jswalens/plt-redex-helper-functions
Some helper functions for PLT Redex.
Language: Racket - Size: 3.91 KB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
jswalens/transactional-futures-redex
Executable semantics of transactional futures in PLT Redex.
Language: Racket - Size: 144 KB - Last synced at: about 2 years ago - Pushed at: about 9 years ago - Stars: 0 - Forks: 0