smarr / ReBenchLinks
Execute and document benchmarks reproducibly.
☆92Updated last month
Alternatives and similar repositories for ReBench
Users that are interested in ReBench are comparing it to the libraries listed below
Sorting:
- High fidelity benchmark runner☆89Updated 4 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated 11 months ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Partial evaluation of Python code☆22Updated 2 years ago
- ☆34Updated 4 years ago
- Kodkod solver for relational logic☆78Updated 2 years ago
- ☆11Updated 3 years ago
- Unison's source code☆108Updated last year
- The Brown Benchmark for Table Types (B2T2)☆64Updated 3 weeks ago
- CN separation logic refinement type system for C☆32Updated last week
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 3 months ago
- Datalog + Egg = Good☆66Updated 2 years ago
- The Daedalus data description language☆77Updated 5 months ago
- The Whiley Compiler (WyC)☆223Updated 2 years ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- The Higher-Order Intermediate Representation☆156Updated last week
- simple snapshot-style integration testing for commands☆71Updated 2 months ago
- ReBenchDB records benchmark results and provides customizable reporting to track and analyze run-time performance of software programs.☆17Updated 2 months ago
- The LTSmin model checking toolset☆59Updated 9 months ago
- Editor for language composition☆58Updated 2 years ago
- ☆68Updated this week
- Memory Management ToolKit☆36Updated last month
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 8 months ago
- A PEG parsing machine with support for incremental parsing.☆92Updated 6 months ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆36Updated 8 years ago
- An imperative and functional programming language☆156Updated 3 months ago
- A virtual machine for Monte.☆69Updated last year
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆118Updated 2 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Updated 10 months ago
- SPARK 2014 repository for the Why3 verification platform.☆32Updated 3 weeks ago