Crucible
Crucible is a library for symbolic simulation of imperative programs
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| C2rust | 3,538 |  | 3 | 12 | 3 months ago | 6 | June 02, 2023 | 249 | other | Rust |
| Migrate C code to Rust | ||||||||||
| Alive2 | 634 | 3 months ago | 56 | mit | C++ | |||||
| Automatic verification of LLVM optimizations | ||||||||||
| Crucible | 577 | 3 months ago | 164 | Rust | ||||||
| Crucible is a library for symbolic simulation of imperative programs | ||||||||||
| Dagger | 163 | 6 years ago | 8 | other | LLVM | |||||
| Binary Translator to LLVM IR | ||||||||||
| Dxil Spirv | 113 | 5 months ago | 4 | other | C++ | |||||
| DXIL conversion to SPIR-V for D3D12 translation libraries | ||||||||||
| Cmonster | 107 | 10 years ago | 4 | C++ | ||||||
| Python wrapper for the Clang C++ preprocessor and parser. | ||||||||||
| Cu2cl | 92 | 4 years ago | 2 | other | C++ | |||||
| A prototype CUDA-to-OpenCL source-to-source translator, built on the Clang compiler framework | ||||||||||
| Neslib.clang | 46 | 2 years ago | bsd-2-clause | Pascal | ||||||
| libclang for Delphi | ||||||||||
| Llvm2smt | 27 | 4 years ago | 1 | mit | LLVM | |||||
| Experimental translation of llvm to smt. | ||||||||||
| Llvm Qemu | 19 | 3 years ago | 1 | other | C | |||||
| Using LLVM method to optimize Qemu's binary translation mechanism. Currently only supports x86_64 program execution on aarch64. Performance has been significantly improved. Integer Index under nbench test increased from 0.5438 to 3.1150. | ||||||||||
Alternatives To CrucibleSelect To Compare
Alternative Project Comparisons
Popular Translation Projects
Popular Llvm Projects
Popular Data Processing Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Rust
Translation
Llvm