oscarlaird

calamity

Console-based Calendar

web

ap_share

Shared resources for collaborating on the AP study tool project

binarized-neural-networks

dsp-llemma

Draft Sketch Prove, using Llemma 34B

eva_prover

Project 1

evadb

Database system for AI-powered apps

example_pg_cpp_extension_factorial

global_share

gpt-teacher-server

gpt-teacher-svelte

hfsm

ice_simplex_assimilate

Transform an ice thickness distribution to an area distribution on the simplex and perform optimal transport.

indiana

lean-dojo-test

metamorph

milvus-sdk-cpp

C++ SDK for Milvus 2.0

myv

newyear

resolution checkboxes w G

ntptutorial

Tutorial on neural theorem proving

readme

researcher

setup-postgres

The missing action for Postgres

simplex_assimilate

Perform Data Assimilation on the Simplex. Models an ensemble with a mixture of Dirichlets.

vinca_API

vinca_CLI

Spaced Repetition

vinca_core

vinca_docs

vinca_frontend

vsql