ldanilek

convex-chess

Chess built on Convex

convex-backend

The Convex open-source backend

ai-town

A MIT-licensed, deployable starter kit for building and customizing your own version of AI town - a virtual town where AI characters live, chat and socialize.

ai-town

A MIT-licensed, deployable starter kit for building and customizing your own version of AI town - a virtual town where AI characters live, chat and socialize.

convex-js

TypeScript/JavaScript client library for Convex

convex-demos

Demo apps built on Convex.

convex-rs

Rust client library for Convex

convex-chat-gpt

Chat GPT interface using Convex as the backend

whisper

convex-py

Python Client Library for Convex

Coq_DataStructures

Various verified data structures in Coq.

wtfpython

What the f*ck Python? 😱

cool_compiler

learning and making a compiler for fun.

nagini

Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.

YaleDining

Rewrite of the Yale Dining app to keep it updated

CalvinFS

CalvinFS project using C/C++

protobuf

Protocol Buffers - Google's data interchange format

clubsatyale