oscarlaird

oscarlaird

Geek Repo

Github PK Tool:Github PK Tool

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.

Language:JavaScriptLicense:Apache-2.0Stargazers:26444Issues:649Issues:5500

postgres

Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitting_a_Patch

Language:CLicense:NOASSERTIONStargazers:15987Issues:532Issues:0

pgvector

Open-source vector similarity search for Postgres

Language:CLicense:NOASSERTIONStargazers:12086Issues:93Issues:583

thebookofshaders

Step-by-step guide through the abstract and complex universe of Fragment Shaders.

Language:GLSLLicense:NOASSERTIONStargazers:6007Issues:239Issues:98

paradedb

Postgres for Search and Analytics

Language:RustLicense:AGPL-3.0Stargazers:5979Issues:35Issues:431

ibis

the portable Python dataframe library

Language:PythonLicense:Apache-2.0Stargazers:5171Issues:85Issues:3136

zombodb

Making Postgres and Elasticsearch work together like it's 2023

Language:PLpgSQLLicense:NOASSERTIONStargazers:4682Issues:93Issues:680

leader-line

Draw a leader line in your web page.

Language:JavaScriptLicense:MITStargazers:3002Issues:38Issues:368

evadb

Database system for AI-powered apps

Language:PythonLicense:Apache-2.0Stargazers:2631Issues:27Issues:301

attu

The GUI for Milvus

Language:TypeScriptLicense:Apache-2.0Stargazers:1245Issues:10Issues:264

DiskANN

Graph-structured Indices for Scalable, Fast, Fresh and Filtered Approximate Nearest Neighbor Search

Language:C++License:NOASSERTIONStargazers:1087Issues:26Issues:195

pgvector-python

pgvector support for Python

Language:PythonLicense:MITStargazers:921Issues:15Issues:70

math

The MATH Dataset (NeurIPS 2021)

Language:PythonLicense:MITStargazers:854Issues:12Issues:20

Multicorn

Data Access Library

Language:PythonLicense:PostgreSQLStargazers:700Issues:66Issues:194

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/

Language:CLicense:NOASSERTIONStargazers:374Issues:20Issues:7574

ntptutorial

Tutorial on neural theorem proving

Language:Jupyter NotebookLicense:MITStargazers:152Issues:5Issues:0
Language:PythonLicense:NOASSERTIONStargazers:84Issues:12Issues:35
Language:PythonLicense:NOASSERTIONStargazers:58Issues:4Issues:3

LEGO-Prover

Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries

Language:PythonLicense:MITStargazers:53Issues:3Issues:2

create-svelte-chatgpt

Set up a SvelteKit + ChatGPT application by running one command

Language:SvelteStargazers:52Issues:4Issues:0

Portal-to-ISAbelle

https://albertqjiang.github.io/Portal-to-ISAbelle/

Language:PythonLicense:BSD-3-ClauseStargazers:50Issues:4Issues:6

setup-postgres

The missing action for Postgres

Language:JavaScriptLicense:MITStargazers:46Issues:4Issues:6

milvus-sdk-cpp

C++ SDK for Milvus 2.0

Language:C++License:Apache-2.0Stargazers:36Issues:11Issues:117

milvus-proto

Share Milvus proto files between Milvus repository and SDK repositories

cppinecone

A C++ client library for the PInecone vector database

Language:C++License:MITStargazers:17Issues:1Issues:0

repl

A simple REPL for Lean 4, returning information about errors and sorries.

Language:LeanStargazers:10Issues:0Issues:0
Language:Jupyter NotebookStargazers:2Issues:2Issues:0
Language:PythonStargazers:1Issues:0Issues:0