Lists (2)
Stars
Skills for Designers and Engineers.
Lean 4 programming language and theorem prover
Premium, copy-paste React Native components for Expo and bare RN. Token-driven, StyleSheet-native, zero black boxes — with a built-in AI design skill.
Javascript visualization of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
A Stochastic Shortest Path Algorithm for Optimizing Spaced Repetition Scheduling
♞ lichess.org: the forever free, adless and open source chess server ♞
Robust Speech Recognition via Large-Scale Weak Supervision
Tiny, Fast, and Deployable anywhere — automate the mundane, unleash your creativity
Fast, expressive styling for React. Server components, client components, streaming SSR, React Native—one API.
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
A project to digitalise results from physics into Lean.
Full-stack web application template with FastAPI, React, SQLModel, PostgreSQL, Vite, Tailwind CSS, shadcn/ui, FastAPI Cloud, and Docker Compose.
Composable, accessible components with thoughtful defaults. Build your own component library with code you can customize, extend, and make your own.
A tool for people curious about the React Server Components protocol
Memcortex is a lightweight semantic memory layer for LLMs using open source embedding model and Weaviate for vector storage and retrieval.
The little ASGI framework that shines. 🌟
Data validation using Python type hints
The official TypeScript SDK for Model Context Protocol servers and clients
Specification and documentation for the Model Context Protocol
ElevenLabs Agent with Storefront MCP UI Server & MCP UI client
UI over MCP. Create next-gen UI experiences with the protocol and SDK!
A library for efficient similarity search and clustering of dense vectors.