oscarlaird's repositories
dsp-llemma
Draft Sketch Prove, using Llemma 34B
eva_prover
Project 1
evadb
Database system for AI-powered apps
Language:PythonApache-2.0000
Language:C++000
ice_simplex_assimilate
Transform an ice thickness distribution to an area distribution on the simplex and perform optimal transport.
Language:LeanMIT000
milvus-sdk-cpp
C++ SDK for Milvus 2.0
Language:C++Apache-2.0000
Language:Svelte000
ntptutorial
Tutorial on neural theorem proving
MIT000
Language:Python000
Language:Python000
setup-postgres
The missing action for Postgres
Language:JavaScriptMIT000
simplex_assimilate
Perform Data Assimilation on the Simplex. Models an ensemble with a mixture of Dirichlets.
Language:Python000