Stars
Website where you can keep track of movies you want to rate
Lean 4 programming language and theorem prover
Memory layer for AI Agents. Replace complex RAG pipelines with a serverless, single-file memory layer. Give your agents instant retrieval and long-term memory.
Tool for data extraction and interacting with Lean programmatically.
Hitchhiker's Guide to Logical Verification (2023 Edition)
Website that gives users a new integral to solve every day
An Open-Source Python3 tool with SMALL models for recognizing layouts, tables, math formulas (LaTeX), and text in images, converting them into Markdown format. A free alternative to Mathpix, empowe…
Extension for enhancing your Canvas experience with features designed to simplify grade tracking and improve your academic performance. Dashboard grades & GPA, course page improvements, and much more!
A single-player esport simulation game about valorant esports. Implemented entirely in client-side JavaScript.
Unofficial scrambler for WCA puzzles cubes - Javascript
Postgres.js - The Fastest full featured PostgreSQL client for Node.js, Deno, Bun and CloudFlare
A website designed to approximate differential equations numerically by using Euler's Method
A website for generating crossword puzzles completely from scratch
A script for Raspberry Pi Camera Color Tracking
A website for generating dictionary passwords
A website for converts numbers and scientific notation to their word form
A website for calculating an individual's daily calorie intake