Skip to content
@iu-parfunc

IU Parfunc Academic Group Account

Popular repositories Loading

  1. gibbon gibbon Public

    A compiler for functional programs on serialized data

    C 158 15

  2. lvars lvars Public

    The LVish Haskell library

    Haskell 80 14

  3. haskell_dsl_tour haskell_dsl_tour Public

    Examples of relevant technologies for implementing DSLs in Haskell.

    Haskell 15

  4. HSBencher HSBencher Public

    General benchmarking framework. Especially good at parameter studies.

    Haskell 12 8

  5. liteinst liteinst Public

    Runtime application probing with lightweight binary instrumentation. Related to PLDI17.

    C++ 9 1

  6. verified-instances verified-instances Public

    Verified instances for parallel programming.

    Haskell 8 5

Repositories

Showing 10 of 78 repositories
  • gibbon Public

    A compiler for functional programs on serialized data

    C 158 15 101 (10 issues need help) 12 Updated Mar 26, 2025
  • ecoop24-marmoset-artifact Public

    Marmoset: Artifact submission for ECOOP 2024

    Haskell 0 0 4 0 Updated Jul 13, 2024
  • 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.

    Rust 0 35 0 0 Updated May 19, 2023
  • lvars Public

    The LVish Haskell library

    Haskell 80 14 66 3 Updated Oct 27, 2022
  • ShadowGuard Public

    Low(er) Overhead Shadow Stack Implementation using Binary Static Analysis

    C++ 8 4 1 0 Updated May 5, 2020
  • pbbs Public

    An clone of the latest release of the Problem-Based-Benchmark-Suite + some extra scripts on top

    C++ 3 4 0 1 Updated Mar 5, 2020
  • detflow Public
    Haskell 3 BSD-3-Clause 1 0 0 Updated Jan 22, 2020
  • misc_bibliography Public

    Some latex templates and a big pile of bibtex.

    TeX 0 0 0 1 Updated Nov 13, 2019
  • bazel Public Forked from bazelbuild/bazel

    a fast, scalable, multi-language and extensible build system

    Java 0 Apache-2.0 4,392 0 0 Updated Oct 25, 2019
  • bazel-dettrace-examples Public

    Interesting test cases for Bazel + dettrace

    Shell 0 BSD-3-Clause 0 0 0 Updated Aug 5, 2019
View all repositories

Top languages

Loading…

Most used topics

Loading…