An open API service indexing awesome lists of open source software.

https://github.com/vasilisp/pub

My academic publications
https://github.com/vasilisp/pub

cyber-physical-systems databases formal-methods functional-programming mathematical-programming ocaml sat-solver smt-solver

Last synced: 2 months ago
JSON representation

My academic publications

Awesome Lists containing this project