LLVM
From MaRDI portal
swMATH4892MaRDI QIDQ17043FDOQ17043
Author name not available (Why is that?)
Official website: https://llvm.org/
Cited In (only showing first 100 items - show all)
- Analyzing program termination and complexity automatically with \textsf{AProVE}
- On the implementation of GNU Prolog
- Sdpsol
- MiBench
- Valgrind
- KLEE
- Dagger
- PySCeS
- SPARKSkein
- CPAchecker
- Predator
- PARSEC
- UFO
- KRATOS
- TypeInfo
- SFO
- Grace
- versat
- MediaBench
- CodeBoost
- SUIF
- LLBMC
- ABC
- Cetus
- CBMC
- CompCert
- InvGen
- r-TuBound
- JPAX
- NaCl
- Quipper
- SPLASH-2
- CScout
- UMM
- RooFit
- rdyncall
- RevKit
- codetools
- na11
- GKLEE
- qasm2circ
- aiT
- Mako
- SAFECode
- SymDiff
- Lingva
- Joogie
- Ctrl
- Vellvm
- Snugglebug
- gputools
- Dependencies
- QCL
- SWILL
- Smacc
- FastCSVSample
- libclang
- Rllvm
- RllvmCompile
- pdist
- RCIndex
- r2c
- Rffi
- CHStone
- LusSy
- Wolverine
- VoxelPipe
- Star-P
- rPython
- V8
- RiTHM
- KITTeL
- LCTD
- ROOT
- ac2lus
- SeaHorn
- KJS
- Sparrow
- Weak2SC
- TRACO
- Java-MaC
- Pilsner
- LOCKSMITH
- JFlow
- OTAWA
- Infer
- Verasco
- BOXES
- libquantum
- AutoWIG
- CoVaC
- BoogiePL
- sgmcmc
- ScaffCC
- CasADi: a software framework for nonlinear optimization and optimal control
- From under-approximations to over-approximations and back
- Formalizing the SAFECode type system
- Lingva: generating and proving program properties using symbol elimination
- Julia: a fresh approach to numerical computing
- JuMP: a modeling language for mathematical optimization
This page was built for software: LLVM
