Concepts
ATS (programming language)
—monthly views
0copies owned
—player watchlists
Concepts
ATS (programming language)
Programming language
rare · Q621618
Related cards · programming language
See all 1,152
Concepts
Ada (programming language)
—monthly views
0copies owned
—player watchlists
Concepts
ALGOL
—monthly views
0copies owned
—player watchlists
Concepts
ActionScript
—monthly views
0copies owned
—player watchlists
Concepts
ABAP
—monthly views
0copies owned
—player watchlists
Concepts
ALGOL 60
—monthly views
0copies owned
—player watchlists
Concepts
Agda (programming language)
—monthly views
0copies owned
—player watchlists
Related cards · formal verification
See all 6 Meta topics
Automated theorem proving
—monthly views
0copies owned
—player watchlists
Works
Frama-C
—monthly views
0copies owned
—player watchlists
Concepts
Verus (proof system)
—monthly views
0copies owned
—player watchlists
Works
KeY
—monthly views
0copies owned
—player watchlists
Works
Fluctuat
—monthly views
0copies owned
—player watchlists
Related cards · 2006
See all 8,918
Organizations
23andMe
—monthly views
0copies owned
—player watchlists
Works
1Password
—monthly views
0copies owned
—player watchlists
Meta topics
24 Hours of Lemons
—monthly views
0copies owned
—player watchlists
Pop stars
187 Strassenbande
—monthly views
0copies owned
—player watchlists
Pop stars
1500 or Nothin'
—monthly views
0copies owned
—player watchlists
Works
100 Fine Castles of Japan
—monthly views
0copies owned
—player watchlists