Cilk application benchmark programs
☆11Aug 20, 2022Updated 3 years ago
Alternatives and similar repositories for cilkbench
Users that are interested in cilkbench are comparing it to the libraries listed below
Sorting:
- ☆23Nov 9, 2020Updated 5 years ago
- GBBS: Graph Based Benchmark Suite☆216Dec 23, 2025Updated 2 months ago
- Modular, flexible, cross-platform workload profiling and characterization☆13Mar 1, 2021Updated 5 years ago
- Codes for our paper "Exploring Bit-Slice Sparsity in Deep Neural Networks for Efficient ReRAM-Based Deployment" [NeurIPS'19 EMC2 workshop]…☆10Oct 12, 2020Updated 5 years ago
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆11Aug 8, 2025Updated 6 months ago
- SixArm.com » Brew install scripts for our various packages☆12Apr 14, 2025Updated 10 months ago
- ☆13May 15, 2025Updated 9 months ago
- A simple library implementation of binary sessions☆11Jun 18, 2024Updated last year
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- HTTP utility library for Standard ML☆11Jan 9, 2026Updated last month
- kbench is a test suite to benchmark several hash table implementations heavily based on Heng Li's udb☆12Jan 8, 2018Updated 8 years ago
- Makes GNOME's topbar's background gradient.☆11Feb 7, 2026Updated 3 weeks ago
- A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.☆19Mar 20, 2021Updated 4 years ago
- A fork of the EPCC OpenMP micro-benchmark suite with some improvements☆12Apr 27, 2017Updated 8 years ago
- A cross-platform .NET Standard library to get the cache line size (in bytes) of the processor.☆17Jul 10, 2018Updated 7 years ago
- Implementation of Nonparametric Hamiltonian Monte Carlo☆13Feb 13, 2023Updated 3 years ago
- CDCL SAT-solver for GPUs☆12May 5, 2017Updated 8 years ago
- Research about dataflow architecture☆12Nov 30, 2023Updated 2 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Feb 13, 2018Updated 8 years ago
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Feb 27, 2020Updated 6 years ago
- The (open-source part of) code to reproduce "BPPSA: Scaling Back-propagation by Parallel Scan Algorithm".☆13Jun 7, 2021Updated 4 years ago
- Standard ML Parser Combinator Library☆17Jan 9, 2026Updated last month
- Call Futhark programs from Standard ML☆11Jan 17, 2026Updated last month
- Benchmark for Co-running Single Applications on Integrated Architectures☆12Jul 7, 2016Updated 9 years ago
- This is a forked version of OCaml, aimed to be compiled to WASM.☆12Aug 23, 2021Updated 4 years ago
- This is the open-source site for XFDetector (ASPLOS'20)☆11Mar 5, 2021Updated 4 years ago
- for paper @ ASPLOS‘25’☆17Mar 27, 2025Updated 11 months ago
- CMurphi mirror: http://mclab.di.uniroma1.it/site/index.php/software/18-cmurphi☆12Jan 22, 2016Updated 10 years ago
- Code accompanying the paper "Automating Involutive MCMC using Probabilistic and Differentiable Programming"☆14Jul 21, 2020Updated 5 years ago
- Make nice plots with matplotlib.☆11Oct 8, 2019Updated 6 years ago
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆15Jul 4, 2019Updated 6 years ago
- Simulation of Advanced Neuromorphic Architectures for Fast Exploration☆24Updated this week
- The Cubicle model checker☆14Jan 12, 2026Updated last month
- A splay tree implementation.☆14Jan 15, 2026Updated last month
- An independent Actor programming library, i.e., flow language, from FoundationDB project with examples.☆16Jun 5, 2023Updated 2 years ago
- A copy of the Intel Cilk Plus runtime system with modifications to work with OpenCilk and its associated tools.☆12Jan 20, 2021Updated 5 years ago
- A graphics tracing and replay framework to explore system-level effects on heterogeneous CPU+GPU memory systems.☆15Apr 16, 2018Updated 7 years ago
- Web server infrastructure for Standard ML☆15Feb 14, 2026Updated 2 weeks ago
- Self-learning system/kernel programming tutorial originally designed for Programming Club.☆17Apr 23, 2022Updated 3 years ago