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
- Translations of a simple C program to Rust.☆140Updated 2 years ago
- An attempt at safe imperative GPU programming.☆61Updated 2 weeks ago
- VectorVisor is a vectorizing binary translator for GPUs, designed to make it easy to run many copies of a single-threaded WebAssembly pro…☆157Updated last year
- A lighweight and parallel snapshot testing framework in rust☆37Updated 2 years ago
- Performance comparison of parallel Rust and C++☆106Updated 5 years ago
- A determinizing tracer using Ptrace☆39Updated 5 years ago
- Virtual machine for executing CUDA PTX without a GPU☆42Updated 2 years ago
- language-agnostic program reducer.☆200Updated 2 months ago
- An operation-log based approach for data replication.☆65Updated 2 years ago
- Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.☆44Updated 3 weeks ago
- Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels☆124Updated last month
- replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds☆31Updated last year
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 4 years ago
- Propositional logic with types in Rust☆65Updated 2 years ago
- Programming Language for Continuous Deep Analytics☆48Updated 2 years ago
- Simplify the use of performance counters.☆64Updated 3 years ago
- Python bindings for the egglog rust library☆96Updated this week
- Rust implementation of Tim Bray's topfew tool☆41Updated 2 months ago
- Synthesis of Loop-free Programs in Rust☆66Updated 5 years ago
- Sample Python extension using Rust/PyO3/tch to interact with PyTorch☆41Updated 2 years ago
- A Rust crate for parsing and writing BibTeX and BibLaTeX files.☆162Updated 4 months ago
- Scrut is a testing toolkit for CLI applications. A tool to scrutinize terminal programs without fuss.☆58Updated last week
- Experimentation using the xla compiler from rust☆102Updated last year
- 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
- simple snapshot-style integration testing for commands☆75Updated 8 months ago
- A thin, highly portable toolkit for efficiently compiling dense loop-based computation.☆149Updated 3 years ago
- The Shine compiler for the RISE language☆83Updated last month
- ☆36Updated 10 months ago
- A new approach to literate programming.☆84Updated last year