Alternatives and similar repositories for reason

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

• gvilums / ptoxide
  Virtual machine for executing CUDA PTX without a GPU
  ☆39Updated 2 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆64Updated 2 years ago
• brownsys / paralegal
  Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
  ☆42Updated this week
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆34Updated last week
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆148Updated 5 months ago
• RRethy / tcount
  Count your code by tokens and patterns in the syntax tree. A tokei/scc/cloc alternative.
  ☆71Updated 2 years ago
• facebookresearch / dachshund
  Dachshund is a graph mining library written in Rust. It provides high performance data structures for multiple kinds of graphs, from simp…
  ☆91Updated 2 years ago
• parallel-rust-cpp / shortcut-comparison
  Performance comparison of parallel Rust and C++
  ☆106Updated 5 years ago
• gussmith23 / glenside
  A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…
  ☆71Updated 6 months ago
• rachitnigam / runt
  A lighweight and parallel snapshot testing framework in rust
  ☆37Updated 2 years ago
• descend-lang / descend
  An attempt at safe imperative GPU programming.
  ☆58Updated 3 months ago
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆92Updated last year
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆66Updated 5 years ago
• jaywonchung / pegasus
  An SSH command runner with a focus on simplicity
  ☆31Updated this week
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆94Updated this week
• facebookresearch / loop_tool
  A thin, highly portable toolkit for efficiently compiling dense loop-based computation.
  ☆149Updated 2 years ago
• gz / autoperf
  Simplify the use of performance counters.
  ☆64Updated 3 years ago
• deeptir18 / posh
  Data-Aware Shell
  ☆39Updated 3 years ago
• Protryon / cuda-oxide
  A Rusty CUDA wrapper
  ☆32Updated 3 years ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆117Updated 2 months ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆101Updated 5 months ago
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆90Updated last week
• SUPERCILEX / ftzz
  File Tree Fuzzer creates a pseudo-random directory hierarchy filled with some number of files.
  ☆52Updated 4 months ago
• BurntSushi / rsc-regexp
  Translations of a simple C program to Rust.
  ☆140Updated 2 years ago
• BurntSushi / duration-unit-lookup
  How fast can we recognize a word from a small pre-determined set?
  ☆83Updated 10 months ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆106Updated 3 years ago
• yosefk / refix
  replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds
  ☆31Updated last year
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆39Updated 5 years ago
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆111Updated 3 months ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆72Updated 6 months ago