Popular repositories Loading
-
haskell_dsl_tour
haskell_dsl_tour PublicExamples of relevant technologies for implementing DSLs in Haskell.
Haskell 15
-
verified-instances
verified-instances PublicVerified instances for parallel programming.
Repositories
- hermit Public Forked from facebookexperimental/hermit
Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.
iu-parfunc/hermit’s past year of commit activity - pbbs Public
An clone of the latest release of the Problem-Based-Benchmark-Suite + some extra scripts on top
iu-parfunc/pbbs’s past year of commit activity - detflow Public
iu-parfunc/detflow’s past year of commit activity - bazel Public Forked from bazelbuild/bazel
a fast, scalable, multi-language and extensible build system
iu-parfunc/bazel’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…