Concepts
Lean (proof assistant)
—monthly views
0copies owned
—player watchlists
Wiki Binder · Facet
Programming Languages Software Award
16 cards · 16 shown here
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
Works
Rocq
—monthly views
0copies owned
—player watchlists
Works
V8 (JavaScript engine)
—monthly views
0copies owned
—player watchlists
Concepts
Racket (programming language)
—monthly views
0copies owned
—player watchlists
Works
Z3 Theorem Prover
—monthly views
0copies owned
—player watchlists
.jpg/330px-Professor_Simon_Peyton_Jones_FRS_(cropped).jpg)
People
Simon Peyton Jones
—monthly views
0copies owned
—player watchlists
Works
CompCert
—monthly views
0copies owned
—player watchlists
Works
Pin (computer program)
—monthly views
0copies owned
—player watchlists
People
Damien Doligez
—monthly views
0copies owned
—player watchlists
People
Anil Madhavapeddy
—monthly views
0copies owned
—player watchlists
People
Simon Marlow
—monthly views
0copies owned
—player watchlists
Collect every card of this facet.
Start collecting