softdevteam / krun

Related projects ⓘ

Alternatives and complementary repositories for krun

• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆85Updated last week
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆101Updated 2 months ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 3 years ago
• backtrace-labs / poireau
  Poireau: a sampling allocation debugger
  ☆86Updated 2 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆52Updated 6 years ago
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆30Updated 4 years ago
• nikomatsakis / rust-redex
  A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
  ☆41Updated 10 years ago
• danluu / fs-errors
  Reproducing resuts from old papers on modern filesystems
  ☆22Updated 7 years ago
• pramalhe / CX
  A Wait-Free Universal Construct for Large Objects
  ☆96Updated 4 years ago
• backtrace-labs / stuffed-record-stream
  Backtrace.io's resilient log record framing format
  ☆36Updated 2 years ago
• smowton / llpe
  ☆49Updated 8 months ago
• siedentop / rapidfuzz
  Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer
  ☆27Updated 6 years ago
• ballard26 / concurrent-hamt
  ☆75Updated 8 years ago
• google / redgrep
  ♥ Janusz Brzozowski
  ☆159Updated 8 months ago
• parapluu / encore
  The Encore compiler.
  ☆43Updated 4 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆55Updated 2 years ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 6 years ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆53Updated 2 years ago
• matthewfl / redmagic
  A meta tracing JIT for x86 and interpreters written in C/C++
  ☆35Updated 7 years ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆67Updated 7 months ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆66Updated 5 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 8 years ago
• softdevteam / eco
  Editor for language composition
  ☆56Updated last year
• senderista / hashtable-benchmarks
  An Evaluation of Linear Probing Hashtable Algorithms
  ☆29Updated 11 months ago
• will62794 / tlaplus_animation
  A TLA+ module for animating TLC traces.
  ☆45Updated 4 years ago
• mohd-akram / compilers
  A list of compilers with some metadata.
  ☆12Updated 5 months ago
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆94Updated last month
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆31Updated 3 weeks ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆113Updated last year