Works
OxMetrics
—monthly views
0copies owned
—player watchlists
Works
OxMetrics
Econometric software package
common · Q7115030
Related cards · mathematical software
See all 149
Concepts
Lean (proof assistant)
—monthly views
0copies owned
—player watchlists
Organizations
Desmos
—monthly views
0copies owned
—player watchlists
Concepts
GNU Octave
—monthly views
0copies owned
—player watchlists
Concepts
Agda (programming language)
—monthly views
0copies owned
—player watchlists
Works
Isabelle (proof assistant)
—monthly views
0copies owned
—player watchlists
Concepts
Idris (programming language)
—monthly views
0copies owned
—player watchlists
Related cards · programming language
See all 27
Works
Rocq
—monthly views
0copies owned
—player watchlists
Works
Foreign function interface
—monthly views
0copies owned
—player watchlists
Works
The Last One (software)
—monthly views
0copies owned
—player watchlists
Works
Family BASIC
—monthly views
0copies owned
—player watchlists
Concepts
Numerical tower
—monthly views
0copies owned
—player watchlists
Works
Xojo
—monthly views
0copies owned
—player watchlists