Repositories list

• gibbon

  Public
  A compiler for functional programs on serialized data

  C

  •13•157•96•13•Updated Nov 10, 2024Nov 10, 2024

• ecoop24-marmoset-artifact

  Public
  Marmoset: Artifact submission for ECOOP 2024

  Haskell

  •0•0•4•0•Updated Jul 13, 2024Jul 13, 2024

• hermit

  Public
  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

  •

  Other

  •31•0•0•0•Updated May 19, 2023May 19, 2023

• lvars

  Public
  The LVish Haskell library

  Haskell

  •14•81•66•3•Updated Oct 27, 2022Oct 27, 2022

• ShadowGuard

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

  x86-64hardening

  C++

  •4•8•1•0•Updated May 5, 2020May 5, 2020

• pbbs

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

  C++

  •4•3•0•1•Updated Mar 5, 2020Mar 5, 2020

• detflow

  Public
  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •1•3•0•0•Updated Jan 22, 2020Jan 22, 2020

• misc_bibliography

  Public
  Some latex templates and a big pile of bibtex.

  TeX

  •0•0•0•1•Updated Nov 13, 2019Nov 13, 2019

• bazel

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

  Java

  •

  Apache License 2.0

  •4.1k•0•0•0•Updated Oct 25, 2019Oct 25, 2019

• bazel-dettrace-examples

  Public
  Interesting test cases for Bazel + dettrace

  Shell

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•0•0•Updated Aug 5, 2019Aug 5, 2019

• detbox-project

  Public
  Website for the overarching detbox project.

  Makefile

  •0•0•0•0•Updated Jul 25, 2019Jul 25, 2019

• pldi2014-artifact

  Public
  The artifact-evaluation bundle for "Taming the Parallel Effect Zoo" (PLDI 2014)

  HTML

  •1•1•0•0•Updated Jun 19, 2019Jun 19, 2019

• showtime

  Public
  An implementation and verification of the showtime algorithm

  Coq

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•0•0•Updated Jun 10, 2019Jun 10, 2019

• verified-instances

  Public
  Verified instances for parallel programming.

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •5•8•5•0•Updated Mar 7, 2019Mar 7, 2019

• BintreeShootout

  Public
  A simple microbenchmark for tree traversals

  Racket

  •0•2•0•0•Updated Feb 11, 2019Feb 11, 2019

• nix-install-scripts

  Public
  Scripts and Dockerfiles that install nix in various ways.

  Shell

  •0•0•1•0•Updated Jun 15, 2018Jun 15, 2018

• forkbench

  Public
  A simple, standalone parfib-like benchmark.

  C

  •0•1•1•0•Updated Jun 11, 2018Jun 11, 2018

• compile-o-rama

  Public
  Dockerfile and or Nix expressions for building a whole bunch of compilers. Good starting point for microbenchmarking.

  Nix

  •0•1•7•0•Updated Jun 8, 2018Jun 8, 2018

• liteinst

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

  x86-64instrumentation

  C++

  •1•9•0•0•Updated Apr 11, 2018Apr 11, 2018

• jenkins-pipelines-demo

  Public
  Repo for testing Jenkins pipelines

  0•0•0•0•Updated Feb 15, 2018Feb 15, 2018

• HSBencher

  Public
  General benchmarking framework. Especially good at parameter studies.

  Haskell

  •8•13•51•1•Updated Feb 2, 2018Feb 2, 2018

• callcc_bench

  Public
  Simple continuation capture microbenchmarks

  Scheme

  •0•0•0•0•Updated Nov 30, 2017Nov 30, 2017

• prof_apps

  Public
  Profiling apps

  Perl

  •0•0•0•0•Updated Nov 5, 2017Nov 5, 2017

• popl18-lh-prover-artifact

  Public
  Artifact for "Towards Complete Verification via SMT"

  Haskell

  •1•6•0•0•Updated Oct 7, 2017Oct 7, 2017

• GADTRemover

  Public
  Migrating from github.iu.edu/mcimini

  Haskell

  •0•0•0•0•Updated Aug 29, 2017Aug 29, 2017

• detmonad-benchdata

  Public
  Shell

  •0•1•0•0•Updated Apr 18, 2017Apr 18, 2017

• flrc

  Public
  Haskell Research Compiler

  Standard ML

  •

  Other

  •37•0•0•0•Updated Apr 16, 2017Apr 16, 2017

• splash_hacks

  Public
  patches to splash to tweak makefiles etc

  C

  •0•0•0•0•Updated Apr 14, 2017Apr 14, 2017

• hmmer_hacks

  Public
  Patches against hmmer

  C

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Apr 9, 2017Apr 9, 2017

• bwa

  Public
  Burrow-Wheeler Aligner for pairwise alignment between DNA sequences

  C

  •

  GNU General Public License v3.0

  •557•0•0•0•Updated Apr 9, 2017Apr 9, 2017