Alternatives and similar repositories for reason

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

• descend-lang / descend
  An attempt at safe imperative GPU programming.
  ☆44Updated 2 weeks ago
• facebookresearch / loop_tool
  A thin, highly portable toolkit for efficiently compiling dense loop-based computation.
  ☆148Updated 2 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…
  ☆70Updated last month
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆58Updated this week
• deeptir18 / posh
  Data-Aware Shell
  ☆39Updated 2 years ago
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆38Updated 4 years ago
• gvilums / ptoxide
  Virtual machine for executing CUDA PTX without a GPU
  ☆35Updated last year
• rachitnigam / runt
  A lighweight and parallel snapshot testing framework in rust
  ☆33Updated last year
• BurntSushi / rsc-regexp
  Translations of a simple C program to Rust.
  ☆141Updated last year
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆71Updated last month
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆88Updated last year
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆33Updated last month
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• RRethy / tcount
  Count your code by tokens and patterns in the syntax tree. A tokei/scc/cloc alternative.
  ☆72Updated 2 years ago
• harmonylang / harmony
  A Python-like programming language for testing and experimenting with concurrent programs.
  ☆23Updated last week
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆17Updated 9 months ago
• jaywonchung / pegasus
  An SSH command runner with a focus on simplicity
  ☆31Updated last year
• vaivaswatha / pliron
  An Extensible Compiler IR Framework
  ☆183Updated this week
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆64Updated 2 years ago
• lukaslueg / railroad_dsl
  A small DSL to generate syntax diagrams
  ☆49Updated 3 months ago
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆45Updated 4 months ago
• facebookincubator / scrut
  Scrut is a testing toolkit for CLI applications. A tool to scrutinize terminal programs without fuss.
  ☆45Updated this week
• nickpascucci / verso
  A new approach to literate programming.
  ☆78Updated last year
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆129Updated last month
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆70Updated last week
• 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.
  ☆110Updated 11 months ago
• jeertmans / rpdf
  PDF command-line utils written in Rust
  ☆39Updated 3 months ago
• rise-lang / shine
  The Shine compiler for the RISE language
  ☆83Updated last month
• trsupradeep / 15618-project
  Comparison of Multi-threading between C++ and Rust (OpenMP vs Rayon)
  ☆51Updated 5 years ago