Pinned Repositories
ap_share
Shared resources for collaborating on the AP study tool project
binarized-neural-networks
calamity
Console-based Calendar
cpac_front
dasher_app
dsp-llemma
Draft Sketch Prove, using Llemma 34B
eva_prover
Project 1
evadb
Database system for AI-powered apps
example_pg_cpp_extension_factorial
web
oscarlaird's Repositories
oscarlaird/calamity
Console-based Calendar
oscarlaird/web
oscarlaird/dsp-llemma
Draft Sketch Prove, using Llemma 34B
oscarlaird/binarized-neural-networks
oscarlaird/dasher_app
oscarlaird/eva_prover
Project 1
oscarlaird/evadb
Database system for AI-powered apps
oscarlaird/example_pg_cpp_extension_factorial
oscarlaird/eyecue
oscarlaird/fences
oscarlaird/gdocs
oscarlaird/gregg
oscarlaird/hackgt_2024
oscarlaird/hfsm
oscarlaird/ice_simplex_assimilate
Transform an ice thickness distribution to an area distribution on the simplex and perform optimal transport.
oscarlaird/indiana
oscarlaird/learning_curve
oscarlaird/metamorph
oscarlaird/milvus-sdk-cpp
C++ SDK for Milvus 2.0
oscarlaird/muc_project_1
oscarlaird/myv
oscarlaird/newyear
resolution checkboxes w G
oscarlaird/ntptutorial
Tutorial on neural theorem proving
oscarlaird/readme
oscarlaird/researcher
oscarlaird/setup-postgres
The missing action for Postgres
oscarlaird/simplex_assimilate
Perform Data Assimilation on the Simplex. Models an ensemble with a mixture of Dirichlets.
oscarlaird/stichomythic
oscarlaird/vsql
oscarlaird/wordship