jaywonchung / reasonLinks
A shell for research papers
☆195Updated last year
Alternatives and similar repositories for reason
Users that are interested in reason are comparing it to the libraries listed below
Sorting:
- Python bindings for the egg-smol rust library☆76Updated last week
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- Major CS conference publication stats (including accepted and submitted) by year.☆127Updated this week
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆49Updated this week
- An attempt at safe imperative GPU programming.☆44Updated this week
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated last week
- A thin, highly portable toolkit for efficiently compiling dense loop-based computation.☆148Updated 2 years ago
- An Extensible Compiler IR Framework☆174Updated 2 weeks ago
- An SSH command runner with a focus on simplicity☆31Updated last year
- simple snapshot-style integration testing for commands☆71Updated last week
- Propositional logic with types in Rust☆62Updated last year
- The Shine compiler for the RISE language☆82Updated 2 weeks ago
- egraphs-good website☆17Updated 7 months ago
- Virtual machine for executing CUDA PTX without a GPU☆33Updated last year
- Re-implementation of the TASO compiler using equality saturation☆128Updated 3 years ago
- An awesome list of e-graph resources☆173Updated 2 weeks ago
- Simplify the use of performance counters.☆64Updated 3 years ago
- A determinizing tracer using Ptrace☆37Updated 4 years ago
- A Rusty CUDA wrapper☆32Updated 3 years ago
- sketches for egg: a flexible, high-performance e-graph library☆27Updated 2 months ago
- Rewrite Rule Inference Using Equality Saturation☆127Updated last week
- Translations of a simple C program to Rust.☆140Updated last year
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆29Updated 2 years ago
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆99Updated last week
- An operation-log based approach for data replication.☆62Updated 2 years ago
- VectorVisor is a vectorizing binary translator for GPUs, designed to make it easy to run many copies of a single-threaded WebAssembly pro…☆149Updated 8 months ago
- Comparison of Multi-threading between C++ and Rust (OpenMP vs Rayon)☆51Updated 5 years ago
- Serverless for all computation☆42Updated 2 years ago
- A translation validation framework for MLIR☆85Updated 2 months ago
- ☆82Updated 7 months ago