Scientific Software
Updated 6 months ago

Catalyst — Peer-reviewed • Rank 19.7 • Science 100%

Catalyst: a Python JIT compiler for auto-differentiable hybrid quantum programs - Published in JOSS (2024)

Updated 6 months ago

pira • Rank 5.0 • Science 85%

PIRA - Automatic Instrumentation Refinement

Updated 6 months ago

lleaves • Rank 19.6 • Science 54%

Compiler for LightGBM gradient-boosted trees, based on LLVM. Speeds up prediction by ≥10x.

Updated 6 months ago

io.joern:c2cpg_2.13 • Rank 17.5 • Science 54%

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

Updated 6 months ago

LLVM • Rank 17.1 • Science 54%

Julia wrapper for the LLVM C API

Updated 6 months ago

cato • Rank 2.9 • Science 67%

Automatic source transformation to apply HPC frameworks with minimal user interaction

Updated 6 months ago

metacg • Rank 6.7 • Science 62%

MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.

Updated 6 months ago

qbraid-qir • Rank 13.4 • Science 54%

qBraid-SDK QIR transpiler integration

Updated 6 months ago

rasqal • Rank 8.1 • Science 54%

A dynamically executed quantum-classical hybrid runtime.

Updated 5 months ago

codechecker • Rank 23.1 • Science 36%

CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.

Updated 6 months ago

llvmbpf • Rank 5.6 • Science 44%

Userspace eBPF VM with llvm JIT/AOT compiler

Updated 6 months ago

llvm-apr-benchmark • Rank 3.4 • Science 44%

A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs

Updated 6 months ago

vrtlmod • Science 65%

vRTLmod modifies Verilator generated RTL simulation code for faul-injection purposes. It transforms source code with the help of LLVM/Clang-Tools and generates a fault injection API.

Updated 6 months ago

seal5 • Science 62%

Seal5 - Semi-automated LLVM Support for RISC-V Extensions including Autovectorization

Updated 6 months ago

llvm-opt-benchmark • Science 26%

An LLVM IR dataset for data-driven compiler optimization research

Updated 6 months ago

c2eo • Science 44%

Experimental Translator of C/C++ Programs to EO Programs

Updated 6 months ago

llvm-ub-aware-interpreter • Science 67%

UB-aware interpreter for LLVM debugging

Updated 6 months ago

llvm-snapshots • Science 44%

Everything to build LLVM snapshots for Fedora/RHEL/CentOS Stream

Updated 5 months ago

https://github.com/agra-uni-bremen/hardbound-llvm • Science 13%

LLVM 11 compiler pass for HardBound instrumentation

Updated 6 months ago

bpftime • Science 67%

Userspace eBPF runtime for Observability, Network, GPU & General Extensions Framework

Updated 6 months ago

byteir • Science 44%

A model compilation solution for various hardware

Updated 6 months ago

pylir • Science 44%

An optimizing ahead-of-time Python Compiler