jaywonchung / reason
A shell for research papers
☆190Updated last year
Related projects ⓘ
Alternatives and complementary repositories for reason
- An attempt at safe imperative GPU programming.☆28Updated 7 months ago
- Virtual machine for executing CUDA PTX without a GPU☆27Updated 11 months ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆71Updated 5 months ago
- An operation-log based approach for data replication.☆62Updated last year
- egraphs-good website☆15Updated last month
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆90Updated last week
- Simplify the use of performance counters.☆62Updated 2 years ago
- Propositional logic with types in Rust☆60Updated last year
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆48Updated last month
- Rewrite Rule Inference Using Equality Saturation☆118Updated 5 months ago
- Programming Languages Intermediate Representation☆87Updated 2 weeks ago
- Always-Correct and Fast Incremental Builds from Simple Specifications☆85Updated 4 months ago
- An SSH command runner with a focus on simplicity☆31Updated 5 months ago
- simple snapshot-style integration testing for commands☆67Updated 4 months ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…☆31Updated 3 years ago
- Re-implementation of the TASO compiler using equality saturation☆121Updated 3 years ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆80Updated last week
- A Rust library for safely programming persistent memory☆74Updated 5 months ago
- Python bindings for egg☆47Updated last year
- Resource Allocation for Dynamic Demands☆18Updated 10 months ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆94Updated 3 months ago
- Rust library to program hardware performance counter.☆52Updated last year
- A zero-copy serialization library and networking stack.☆43Updated 9 months ago
- A determinizing tracer using Ptrace☆34Updated 4 years ago
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆66Updated 2 weeks ago
- library learning w egraphs☆17Updated last year
- language-agnostic program reducer.☆168Updated 10 months ago
- A Rusty CUDA wrapper☆30Updated 2 years ago
- Datalog + Egg = Good☆65Updated last year
- automatially find crashes in the rust compiler & tooling☆70Updated 6 months ago