Stars
Lean 4 programming language and theorem prover
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!
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.
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…
Tool for data extraction and interacting with Lean programmatically.
Postgres.js - The Fastest full featured PostgreSQL client for Node.js, Deno, Bun and CloudFlare
Website that gives users a new integral to solve every day
Website where you can keep track of movies you want to rate
A website for generating crossword puzzles completely from scratch
Unofficial scrambler for WCA puzzles cubes - Javascript
A single-player esport simulation game about valorant esports. Implemented entirely in client-side JavaScript.
Hitchhiker's Guide to Logical Verification (2023 Edition)
A website for generating dictionary passwords
A website designed to approximate differential equations numerically by using Euler's Method
A website for calculating an individual's daily calorie intake
A website for converts numbers and scientific notation to their word form
A script for Raspberry Pi Camera Color Tracking
An application that generates pictures of animals