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:
- Always-Correct and Fast Incremental Builds from Simple Specifications☆92Updated last year
- Data-Aware Shell☆39Updated 3 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…☆158Updated last year
- Performance comparison of parallel Rust and C++☆106Updated 5 years ago
- Count your code by tokens and patterns in the syntax tree. A tokei/scc/cloc alternative.☆71Updated 2 years ago
- Translations of a simple C program to Rust.☆140Updated 2 years ago
- A thin, highly portable toolkit for efficiently compiling dense loop-based computation.☆149Updated 2 years ago
- Dachshund is a graph mining library written in Rust. It provides high performance data structures for multiple kinds of graphs, from simp…☆93Updated 2 years ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆120Updated this week
- Simplify the use of performance counters.☆64Updated 3 years ago
- Experimentation using the xla compiler from rust☆99Updated last year
- Virtual machine for executing CUDA PTX without a GPU☆42Updated 2 years ago
- An attempt at safe imperative GPU programming.☆61Updated 4 months ago
- A determinizing tracer using Ptrace☆39Updated 5 years ago
- Propositional logic with types in Rust☆64Updated 2 years ago
- Synthesis of Loop-free Programs in Rust☆66Updated 5 years ago
- Programming Language for Continuous Deep Analytics☆47Updated 2 years ago
- Robin Hood Sort, for uniform data☆75Updated 2 years ago
- A lighweight and parallel snapshot testing framework in rust☆37Updated 2 years ago
- Awesome utilities for performance profiling☆198Updated 10 months ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆72Updated 7 months ago
- ☆17Updated 4 months ago
- Rust implementation of Tim Bray's topfew tool☆40Updated last month
- ☆32Updated 6 months ago
- Automatic differentiation in Rust with WGPU support☆24Updated 4 years ago
- Comparison of Multi-threading between C++ and Rust (OpenMP vs Rayon)☆53Updated 6 years ago
- Recipes for avoiding bounds checks in Rust, without unsafe!☆133Updated 2 years ago
- A Rust library for safely programming persistent memory☆74Updated last year
- A Rusty CUDA wrapper☆32Updated 4 years ago
- An operation-log based approach for data replication.☆65Updated 2 years ago