jaywonchung / reasonLinks
A shell for research papers
☆194Updated 2 years ago
Alternatives and similar repositories for reason
Users that are interested in reason are comparing it to the libraries listed below
Sorting:
- A thin, highly portable toolkit for efficiently compiling dense loop-based computation.☆148Updated 2 years ago
- Virtual machine for executing CUDA PTX without a GPU☆39Updated last year
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated 5 months ago
- A lighweight and parallel snapshot testing framework in rust☆37Updated 2 years ago
- An attempt at safe imperative GPU programming.☆58Updated 2 months ago
- Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.☆41Updated this week
- Performance comparison of parallel Rust and C++☆106Updated 5 years ago
- Comparison of Multi-threading between C++ and Rust (OpenMP vs Rayon)☆51Updated 5 years ago
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆33Updated 2 months ago
- Propositional logic with types in Rust☆64Updated 2 years ago
- Always-Correct and Fast Incremental Builds from Simple Specifications☆90Updated last year
- Simplify the use of performance counters.☆64Updated 3 years ago
- language-agnostic program reducer.☆196Updated 4 months ago
- A determinizing tracer using Ptrace☆39Updated 5 years ago
- Python bindings for the egglog rust library☆90Updated last week
- Rewrite Rule Inference Using Equality Saturation☆141Updated 4 months ago
- Synthesis of Loop-free Programs in Rust☆67Updated 5 years ago
- Programming Language for Continuous Deep Analytics☆47Updated 2 years ago
- simple snapshot-style integration testing for commands☆72Updated 5 months ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆109Updated 2 months ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆112Updated last month
- egraphs-good website☆18Updated last year
- Dachshund is a graph mining library written in Rust. It provides high performance data structures for multiple kinds of graphs, from simp…☆91Updated last year
- Translations of a simple C program to Rust.☆140Updated last year
- Count your code by tokens and patterns in the syntax tree. A tokei/scc/cloc alternative.☆71Updated 2 years ago
- An SSH command runner with a focus on simplicity☆31Updated last year
- An awesome list of e-graph resources☆254Updated last week
- The Shine compiler for the RISE language☆83Updated last week
- Online demo without installing at - https://buildit.so/tryit☆184Updated last week
- Experimentation using the xla compiler from rust☆97Updated last year