Automated reasoning for distributed systems. Deterministic does not mean predictable.
-
AWS S3-ARG
- San Francisco, CA
Popular repositories Loading
-
haskell-parser-examples
haskell-parser-examples PublicExamples of a simple parser written in both Parsec and Happy/Alex
-
-
happy-example
happy-example PublicA very simple example of how to use Alex and Happy to build a language processor in Haskell.
-
-
monad-supply
monad-supply PublicSupport for computations which consume values from a (possibly infinite) supply.
-
mandelbrot-erlang
mandelbrot-erlang PublicTwo versions of a Mandelbrot image generator, written in Erlang. One basic, one distributed.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.