Alternatives and similar repositories for reason

Users that are interested in reason are comparing it to the libraries listed below

• gz / autoperf
  Simplify the use of performance counters.
  ☆64Updated 3 years ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆105Updated 9 months ago
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆37Updated 4 years ago
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆73Updated 3 years ago
• bpowers / mstat
  fine-grained, cgroup-based tool for profiling memory usage over time of a process tree
  ☆47Updated 10 months ago
• facebookresearch / loop_tool
  A thin, highly portable toolkit for efficiently compiling dense loop-based computation.
  ☆148Updated 2 years ago
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆74Updated 11 months ago
• jaywonchung / pegasus
  An SSH command runner with a focus on simplicity
  ☆31Updated 11 months ago
• deeptir18 / posh
  Data-Aware Shell
  ☆39Updated 2 years ago
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆42Updated last week
• gussmith23 / glenside
  A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…
  ☆70Updated 11 months ago
• descend-lang / descend
  An attempt at safe imperative GPU programming.
  ☆43Updated last month
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆124Updated 3 weeks ago
• rs3lab / KFlex
  ☆29Updated 2 months ago
• trsupradeep / 15618-project
  Comparison of Multi-threading between C++ and Rust (OpenMP vs Rayon)
  ☆49Updated 5 years ago
• NetSys / kappa
  Serverless for all computation
  ☆42Updated 2 years ago
• SamGinzburg / VectorVisor
  VectorVisor is a vectorizing binary translator for GPUs, designed to make it easy to run many copies of a single-threaded WebAssembly pro…
  ☆148Updated 7 months ago
• RRethy / tcount
  Count your code by tokens and patterns in the syntax tree. A tokei/scc/cloc alternative.
  ☆69Updated 2 years ago
• parallel-rust-cpp / shortcut-comparison
  Performance comparison of parallel Rust and C++
  ☆104Updated 5 years ago
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆164Updated 3 weeks ago
• makslevental / mlir-python-extras
  The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.
  ☆94Updated this week
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆47Updated 5 months ago
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆62Updated 2 years ago
• multifacet / 0sim-workspace
  Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.
  ☆21Updated 4 years ago
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆125Updated this week
• evanj / hugepagedemo
  Demonstrates using huge pages on Linux to improve performance (in Rust)
  ☆25Updated 8 months ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆57Updated last week
• parttimenerd / temci
  An advanced benchmarking tool
  ☆170Updated 2 years ago
• termoshtt / link_cuda_kernel
  HowTo: Compile CUDA with nvcc, and link to Rust
  ☆49Updated 6 years ago
• rust-ml / enzyme_build
  A repo just containing everything to build a working enzyme/rustc/llvm/clang stack.
  ☆9Updated 3 years ago