Skip to content
/ lvars Public
forked from iu-parfunc/lvars

A collection of prototype LVar implementations, tools, and mechanized semantics.

Notifications You must be signed in to change notification settings

pravnar/lvars

 
 

Repository files navigation

lvars

A collection of prototype LVar implementations, tools, and mechanized semantics.

This is an umbrella repository for work related to LVars. Subdirectories include:

  • redex: PLT Redex models of LVar calculi (see README).

  • race-detector-interps: an implementation of lambdaLVar extended with a destructive consume operation and a data-race detector for lambdaLVar + consume.

  • haskell: LVar libraries for Haskell, based on the monad-par library.

About

A collection of prototype LVar implementations, tools, and mechanized semantics.

Resources

Stars

Watchers

Forks

Packages

No packages published

Languages

  • Haskell 86.4%
  • Racket 12.4%
  • Other 1.2%