Works
Z3 Theorem Prover
—monthly views
0copies owned
—player watchlists
Works
Z3 Theorem Prover
Software for solving satisfiability problems
rare · Q85816952
Related cards · computer program
See all 716
Works
Amazon Alexa
—monthly views
0copies owned
—player watchlists
Pop culture
AlphaGo
—monthly views
0copies owned
—player watchlists
.png/330px-Anubis_challenge_screen_(dark).png)
Works
Anubis (software)
—monthly views
0copies owned
—player watchlists
Works
AlphaZero
—monthly views
0copies owned
—player watchlists
Works
Amazon Echo
—monthly views
0copies owned
—player watchlists
.svg/330px-Modern_AutoHotkey_Logo_(no_text).svg.png){kind=logo}
Works
AutoHotkey
—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 · free software
See all 3,281
Works
Ahmia
—monthly views
0copies owned
—player watchlists
Works
AlphaBay
—monthly views
0copies owned
—player watchlists
Works
AlmaLinux
—monthly views
0copies owned
—player watchlists
Works
Aerospike (database)
—monthly views
0copies owned
—player watchlists
Pop culture
0 A.D. (video game)
—monthly views
0copies owned
—player watchlists
Works
Acme (text editor)
—monthly views
0copies owned
—player watchlists