Works
CompCert
—monthly views
0copies owned
—player watchlists
Works
CompCert
Formally verified C compiler
uncommon · Q5155256
Related cards · source-available software
See all 32.svg/330px-Unreal_Engine_Logo_(new_typeface).svg.png){kind=logo}
Works
Unreal Engine
—monthly views
0copies owned
—player watchlists
Works
Open-source software
—monthly views
0copies owned
—player watchlists
Works
MongoDB
—monthly views
0copies owned
—player watchlists
Works
Cheat Engine
—monthly views
0copies owned
—player watchlists
Works
Terraform (software)
—monthly views
0copies owned
—player watchlists
Works
OpenJDK
—monthly views
0copies owned
—player watchlists
Related cards · Programming Languages Software Award
See all 16
Concepts
Lean (proof assistant)
—monthly views
0copies owned
—player watchlists
Concepts
Rust (programming language)
—monthly views
0copies owned
—player watchlists
Works
GNU Compiler Collection
—monthly views
0copies owned
—player watchlists
Works
WebAssembly
—monthly views
0copies owned
—player watchlists
Concepts
OCaml
—monthly views
0copies owned
—player watchlists
Concepts
Scala (programming language)
—monthly views
0copies owned
—player watchlists
Related cards · compiler
See all 114 Works
GNU Compiler Collection
—monthly views
0copies owned
—player watchlists
Works
LLVM
—monthly views
0copies owned
—player watchlists
Works
Clang
—monthly views
0copies owned
—player watchlists
Works
Cython
—monthly views
0copies owned
—player watchlists
Works
Bootstrapping (compilers)
—monthly views
0copies owned
—player watchlists
Concepts
CoffeeScript
—monthly views
0copies owned
—player watchlists