oscarlaird's starred repositories
swagger-ui
Swagger UI is a collection of HTML, JavaScript, and CSS assets that dynamically generate beautiful documentation from a Swagger-compliant API.
thebookofshaders
Step-by-step guide through the abstract and complex universe of Fragment Shaders.
leader-line
Draw a leader line in your web page.
pgvector-python
pgvector support for Python
MonetDB
This is the official mirror of the MonetDB Mercurial repository. Please note that we do not accept pull requests on github. The regression test results can be found on the MonetDB Testweb https://www.monetdb.org/testweb/web/status.php .For contributions please see: https://www.monetdb.org/documentation/dev-guide/
ntptutorial
Tutorial on neural theorem proving
LEGO-Prover
Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries
create-svelte-chatgpt
Set up a SvelteKit + ChatGPT application by running one command
Portal-to-ISAbelle
https://albertqjiang.github.io/Portal-to-ISAbelle/
setup-postgres
The missing action for Postgres
milvus-sdk-cpp
C++ SDK for Milvus 2.0
milvus-proto
Share Milvus proto files between Milvus repository and SDK repositories
cppinecone
A C++ client library for the PInecone vector database