PolyJIT / benchbuildLinks
Empirical-Research Toolkit
☆11Updated last month
Alternatives and similar repositories for benchbuild
Users that are interested in benchbuild are comparing it to the libraries listed below
Sorting:
- ☄️ The Official Galaxy Programming Language Repository.☆12Updated 9 months ago
- ☆14Updated last week
- Context switch for XMonad: switch between sets of workspaces☆11Updated 2 years ago
- Super-parallel Python port of the C-Reduce☆311Updated last month
- Looks up selected (Japanese) text in your Yomichan dictionaries and displays the result as a popup.☆20Updated last year
- My per-package cflags for Gentoo Linux☆27Updated 2 weeks ago
- Clone of isabelle, with LSP extensions in seperate branches☆28Updated last week
- Automatic Generation of Benchmarks to Stress-Test Computing Systems.☆38Updated last week
- ROSE is an open-source compiler framework engineered by LLNL supporting program analysis and transformation at both the source and binary…☆662Updated last week
- 🌽 Buries time-wasting cards that you keep failing.☆14Updated 2 months ago
- Series of lectures on Scientific Methodology and Performance Evaluation☆71Updated last week
- This is a Latex Completer for YouCompleteMe.☆13Updated 7 years ago
- Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.☆72Updated 2 years ago
- Java-like Language with Static Information Flow Types☆13Updated 7 months ago
- GUI for tlmgr written in Scala☆27Updated 4 years ago
- A LISP interpreter written in TeX macros☆15Updated last year
- This repo is the new home of Proof General☆542Updated last week
- Unofficial AppImage for Emacs.☆14Updated last week
- An Emacs major mode to edit and run SMTLIB v2 files☆10Updated 10 years ago
- RV-Monitor core system code☆16Updated 4 years ago
- Yet Another Random Program Generator☆542Updated last month
- An advanced benchmarking tool☆193Updated 5 months ago
- Emacs minor mode that automatically demangles C++, D, and Rust symbols☆23Updated 4 years ago
- Experimental Typesetting Algorithms Platform☆25Updated this week
- Archer, a data race detection tool for large OpenMP applications☆66Updated 5 years ago
- A fancy thesis defence invitation in XeLaTeX☆62Updated 9 years ago
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆176Updated 4 years ago
- A faster-startup @world updater for Gentoo Linux☆14Updated 5 years ago
- A new (MLIR based) high-level IR for clang.☆566Updated this week
- The multilingual framework to localize LaTeX, LuaLaTeX and XeLaTeX☆162Updated this week