☆58Nov 9, 2026Updated this week
Alternatives and similar repositories for Academic_radar
Users that are interested in Academic_radar are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Parallel Tensor Infrastructure (ParTI!)☆34Aug 18, 2020Updated 6 years ago
- Transcript specific RNA splicing events lookup☆10Updated this week
- A package for constructing sparse tensors from CSV-like data sources.☆11Dec 24, 2017Updated 8 years ago
- High-performance Accelerated LLM Operators☆24Updated this week
- ☆20Nov 22, 2025Updated 11 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- CUDA templates for tile-sparse matrix multiplication based on CUTLASS.☆52Mar 1, 2018Updated 8 years ago
- ☆10Oct 11, 2022Updated 4 years ago
- A mirror of https://bitbucket.org/ajaustin/hemem/src/sosp-submission/☆30May 3, 2023Updated 3 years ago
- Dix-seq: An integrated pipeline for fast amplicon data analysis☆11Dec 9, 2024Updated last year
- Subpart source code of of deepcore v0.7☆27Jun 28, 2020Updated 6 years ago
- CNV Rapid Aberration Detection And Reporting☆13Mar 2, 2021Updated 5 years ago
- Mirror of http://gitlab.hpcrl.cse.ohio-state.edu/chong/ppopp19_ae, refactoring for understanding☆17Oct 20, 2021Updated 5 years ago
- Whole organelle genome-wide alignment construction method, which ultilizes BLAST tool, to facilitate phylogeny analysis☆11May 7, 2018Updated 8 years ago
- edit distance sequence tags and helpers☆12Feb 4, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- HPCG benchmark based on ROCm platform☆41Oct 27, 2026Updated 2 weeks ago
- Syntax highlighting for Alda - a music programming language.☆14Sep 5, 2021Updated 5 years ago
- CSR5-based SpMV on CPUs, GPUs and Xeon Phi☆111Jun 10, 2024Updated 2 years ago
- TOPMed Freeze 3 variant calling pipeline☆10Dec 5, 2018Updated 7 years ago
- Utility programs to trim or sort Illumina reads with adapter sequences☆15Jul 23, 2013Updated 13 years ago
- GPU model checker☆13Apr 17, 2019Updated 7 years ago
- High level model for MongoDB consistency☆15Oct 16, 2025Updated last year
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- Schedule for ArtOfSAT☆12Oct 11, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- MicrOSAtellite Instability Classifier☆15Apr 27, 2026Updated 6 months ago
- ☆17May 14, 2024Updated 2 years ago
- Collection of examples for the MiniSat API☆16Feb 1, 2011Updated 15 years ago
- Fault injection and chaos testing all in one, sweet DSL.☆12Jan 26, 2026Updated 9 months ago
- ☆13Jul 11, 2023Updated 3 years ago
- The website of PingCAP. Powered by Gatsby ⚛️ and Rocket 🚀.☆11May 31, 2023Updated 3 years ago
- CAVA (Clinical Annotation of VAriants)☆14Sep 28, 2018Updated 8 years ago
- A tiny C compiler based on LLVM and ANTLR4☆10Jan 13, 2019Updated 7 years ago
- Extremely fast BAM depth calculation for WGS, exome, or targeted sequencing☆13Jan 25, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆11Nov 2, 2013Updated 13 years ago
- Artifact package accompanying our POPL 2024 submission titled "A Universal, Sound, and Complete Forward Reasoning Technique for Machine-V…☆11Aug 7, 2024Updated 2 years ago
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 9 years ago
- A lightweight MLIR Python frontend with support for PyTorch☆28Sep 3, 2024Updated 2 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆18Dec 16, 2024Updated last year
- Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"☆19Oct 23, 2012Updated 14 years ago
- Collection of Distributed Protocol Verification Problems☆16Apr 27, 2024Updated 2 years ago
Are these results useful?