Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Bde_verify	40	10 months ago	6	apache-2.0	C++
Tool used to format, improve and verify code to BDE guidelines
Data Bitcode Llvm	10	7 years ago		other	Haskell
Data.BitCode.LLVM

Alternatives To Data Bitcode Llvm

Select To Compare

Bde_verify ⭐ 40

Tool used to format, improve and verify code to BDE guidelines

most recent commit 10 months ago

Data Bitcode Llvm ⭐ 10

Data.BitCode.LLVM

most recent commit 7 years ago

Suggest An Alternative To data-bitcode-llvm

Alternative Project Comparisons

Data Bitcode Llvm vs Bde_verify

Popular Llvm Projects

Tinygo ⭐ 14,483

Go compiler for small places. Microcontrollers, WebAssembly (WASM/WASI), and command-line tools. Based on LLVM.

total releases 39latest release September 21, 2023most recent commit 25 days ago

Rpcs3 ⭐ 13,787

PS3 emulator/debugger

most recent commit 4 months ago

Codon ⭐ 13,638

A high-performance, zero-overhead, extensible Python compiler using LLVM

most recent commit 4 months ago

Quine Relay ⭐ 13,522

An uroboros program with 100+ programming languages

most recent commit 4 months ago

Numba ⭐ 9,185

NumPy aware dynamic Python compiler using LLVM

dependent packages 146total releases 42latest release November 30, 2023most recent commit 4 months ago

Popular Verify Projects

Immudb ⭐ 8,416

immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history

dependent packages 21total releases 139latest release October 16, 2023most recent commit 4 months ago

Gitoxide ⭐ 7,537

An idiomatic, lean, fast & safe pure Rust implementation of Git

dependent packages 45total releases 35latest release December 06, 2023most recent commit 4 months ago

Jose ⭐ 4,373

JWA, JWS, JWE, JWT, JWK, JWKS for Node.js, Browser, Cloudflare Workers, Deno, Bun, and other Web-interoperable runtimes.

dependent packages 1,092total releases 186latest release November 30, 2023most recent commit 4 months ago

Gitpython ⭐ 4,261

GitPython is a python library used to interact with Git repositories.

dependent packages 2,895total releases 94latest release October 18, 2023most recent commit 4 months ago

End To End ⭐ 4,106

End-To-End is a crypto library to encrypt, decrypt, digital sign, and verify signed messages (implementing OpenPGP)

most recent commit a year ago

Popular Compilers Categories