example / testView external linksLinks
test
☆31Updated this week
Alternatives and similar repositories for test
Users that are interested in test are comparing it to the libraries listed below
Sorting:
- ☆13Dec 15, 2025Updated 2 months ago
- ☆10Aug 18, 2025Updated 5 months ago
- A framework to ease parallelization of sequential SAT solvers☆30Jan 14, 2026Updated last month
- Scalable and Stable Parallelization of Nonlinear RNNS☆29Oct 21, 2025Updated 3 months ago
- ☆42Jun 15, 2023Updated 2 years ago
- C++ compressor for multidimensional grid data using the Tucker decomposition☆53Oct 10, 2024Updated last year
- SLOT: SMT-LLVM Optimizing Translation☆60Apr 17, 2025Updated 10 months ago
- Experimental translation of llvm to smt.☆58Apr 8, 2020Updated 5 years ago
- Jailhouse demonstration and testing images☆64Feb 18, 2024Updated last year
- Experiments for efforts to train a new and improved t5☆76Apr 15, 2024Updated last year
- An approach for runtime detection inside a constexpr function☆80Jul 15, 2018Updated 7 years ago
- Minimal Implementation of Bayesian Optimization in JAX☆102Apr 24, 2025Updated 9 months ago
- ⚡ A high-performance path tracer implemented in Rust based on "Ray Tracing in One Weekend" featuring static dispatch, multi-threaded rend…☆100Aug 1, 2020Updated 5 years ago
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆138Dec 5, 2025Updated 2 months ago
- ELINA: ETH LIbrary for Numerical Analysis☆134Apr 7, 2023Updated 2 years ago
- Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"☆126Jul 1, 2020Updated 5 years ago
- Easily compute clip embeddings from video frames☆145Oct 31, 2023Updated 2 years ago
- Apron Numerical Abstract Domain Library☆144Mar 17, 2025Updated 11 months ago
- The IntercalScript programming language☆139Aug 30, 2020Updated 5 years ago
- Clean single-file implementation of offline RL algorithms in JAX☆167Nov 24, 2025Updated 2 months ago
- Tab module for imgui. Should be relatively forwardly compatible.☆150Oct 12, 2018Updated 7 years ago
- Extensive tutorial and documentation about C++☆145Apr 29, 2021Updated 4 years ago
- 🔥基于taro + dva + typescript 开发的音乐播放器小程序🎵☆166Jun 3, 2019Updated 6 years ago
- An interpreter☆183May 8, 2025Updated 9 months ago
- Simple kernel module to inspect socket options☆201Nov 21, 2025Updated 2 months ago
- C++ class for a joining and cooperative interruptible thread (should become std::jthread)☆197Jun 16, 2021Updated 4 years ago
- Probabilistic Programming and Nested sampling in JAX☆221Dec 15, 2025Updated 2 months ago
- Code used for the creation of OBELICS, an open, massive and curated collection of interleaved image-text web documents, containing 141M d…☆211Aug 28, 2024Updated last year
- The Ultimate program analysis framework.☆237Updated this week
- State of the art inference for your bayesian models.☆232Jan 14, 2026Updated last month
- A C++14 compile-time/constexpr map and hash map with minimal binary footprint☆222Sep 16, 2022Updated 3 years ago
- 💻 RISC-V Simulator of RV32I ISA. 5-stage pipeline / out-of-order execution with Tomasulo algorithm and Speculation. Support runtime visu…☆207Jul 2, 2020Updated 5 years ago
- Get hundred of million of image+url from the crawling at home dataset and preprocess them☆223May 26, 2024Updated last year
- General-purpose C++ graph library☆236Jan 23, 2026Updated 3 weeks ago
- Code repository for Black Mamba☆261Feb 8, 2024Updated 2 years ago
- Path MTU daemon - broadcast lost ICMP packets on ECMP networks☆256Oct 15, 2024Updated last year
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆287Apr 21, 2024Updated last year
- CMMotionManager wrapper for react-native☆248Feb 24, 2020Updated 5 years ago
- flagship.vim: Configurable and extensible tab line and status line☆233May 10, 2025Updated 9 months ago