jaywonchung / reasonLinks
A shell for research papers
☆195Updated 2 years ago
Alternatives and similar repositories for reason
Users that are interested in reason are comparing it to the libraries listed below
Sorting:
- An attempt at safe imperative GPU programming.☆49Updated 2 weeks ago
- Simplify the use of performance counters.☆64Updated 3 years ago
- Virtual machine for executing CUDA PTX without a GPU☆38Updated last year
- Data-Aware Shell☆39Updated 3 years ago
- simple snapshot-style integration testing for commands☆71Updated 3 months ago
- Performance comparison of parallel Rust and C++☆105Updated 5 years ago
- Rust implementation of Tim Bray's topfew tool☆40Updated last week
- Translations of a simple C program to Rust.☆140Updated last year
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆33Updated last week
- Python bindings for the egglog rust library☆87Updated this week
- Propositional logic with types in Rust☆63Updated 2 years ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆110Updated last week
- A lighweight and parallel snapshot testing framework in rust☆33Updated 2 years ago
- Synthesis of Loop-free Programs in Rust☆66Updated 5 years ago
- Python bindings for egg☆49Updated 2 years ago
- Always-Correct and Fast Incremental Builds from Simple Specifications☆90Updated last year
- An operation-log based approach for data replication.☆64Updated 2 years ago
- Robin Hood Sort, for uniform data☆75Updated 2 years ago
- Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.☆38Updated last month
- Sample Python extension using Rust/PyO3/tch to interact with PyTorch☆38Updated last year
- A Rusty CUDA wrapper☆32Updated 3 years ago
- A small DSL to generate syntax diagrams☆49Updated 4 months ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- Experimentation using the xla compiler from rust☆96Updated last year
- Rewrite Rule Inference Using Equality Saturation☆133Updated 3 months ago
- 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
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated 3 months ago
- An awesome list of e-graph resources☆225Updated 2 weeks ago
- An SSH command runner with a focus on simplicity☆31Updated last year
- ☆18Updated last year