plt-redex

There are 0 repository under plt-redex topic.

• namin / dot

  formalization of the Dependent Object Types (DOT) calculus

  meta-theorytwelfplt-redexcoqdafnyoop
  153

• ilyasergey / plt-redex-fj

  A PLT Redex implementation of Featherweight Java

  featherweight-javaoperational-semanticsplt-redex
  Language:Racket 14

• juniorxxue / learn-plt-redex

  Resources for Learning PLT Redex

  plt-redexracketracket-lang
  9
• GraphRedex

  TOPLLab / GraphRedex

  An interactive semantics explorer

  plt-redex
  Language:TypeScript 6

• jswalens / chocola-redex

  PLT Redex implementation of Chocola.

  plt-redexsemanticsresearchstmsoftware-transactional-memoryactorsfutures
  Language:Racket 4

• jswalens / plt-redex-exercises

  Exercises for PLT Redex Summer School 2015

  plt-redexsemantics
  Language:Racket 1

• jswalens / plt-redex-helper-functions

  Some helper functions for PLT Redex.

  plt-redexsemantics
  Language:Racket

• jswalens / transactional-futures-redex

  Executable semantics of transactional futures in PLT Redex.

  clojureplt-redexresearchsemanticssoftware-transactional-memorystmtransaction
  Language:Racket