IU Parfunc Academic Group Account

Popular repositories

gibbon Public

A compiler for functional programs on serialized data

Common Lisp 104 7
lvars Public

The LVish Haskell library

Haskell 77 11
haskell_dsl_tour Public

Examples of relevant technologies for implementing DSLs in Haskell.

Haskell 13 1
HSBencher Public

General benchmarking framework. Especially good at parameter studies.

Haskell 12 8
verified-instances Public

Verified instances for parallel programming.

Haskell 8 5
ShadowGuard Public

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

C++ 8 4

gibbon Public
A compiler for functional programs on serialized data

Common Lisp 104 7 45 (8 issues need help) 3 Updated Oct 25, 2021
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 2 0 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
a fast, scalable, multi-language and extensible build system

Java 0 Apache-2.0 3,141 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
detbox-project Public
Website for the overarching detbox project.

Makefile 0 0 0 0 Updated Jul 25, 2019
pldi2014-artifact Public
The artifact-evaluation bundle for "Taming the Parallel Effect Zoo" (PLDI 2014)

HTML 1 0 0 0 Updated Jun 19, 2019
showtime Public
An implementation and verification of the showtime algorithm

Coq 0 0 0 0 Updated Jun 10, 2019

Loading…