Stars
Design Interactive dialogues and dynamic storylines for games
Crawlee—A web scraping and browser automation library for Python to build reliable crawlers. Extract data for AI, LLMs, RAG, or GPTs. Download HTML, PDF, JPG, PNG, and other files from websites. Wo…
docker images from nixpkgs [maintainer=@zimbatm]
Provision remote development environments via Terraform
Open Source alternative to Algolia + Pinecone and an Easier-to-Use alternative to ElasticSearch ⚡ 🔍 ✨ Fast, typo tolerant, in-memory fuzzy Search Engine for building delightful search experiences
Download the entire Wayback Machine archive for a given URL.
Sketch business models in your browser
Promoting Solutions that Improve Wellbeing, Freedom and Society
tool for turning Lean proofs into Blender animations
A curated list of awesome FSRS implementations, papers and resources
A modern Anki custom scheduling based on Free Spaced Repetition Scheduler algorithm
Codemod Stripe used to migrate 6.5m+ lines of code from Flow to TypeScript
Common used path planning algorithms with animations.
Convex optimization modeling in Lean 4
Overview of tactics in Lean 4 for beginners — longer version
Lean theorem proving interface which feels like pen-and-paper proofs.
A partial formalization of Geometric Algebra in the Lean formal proof verification system.
A community-maintained Python framework for creating mathematical animations.
A generic, semantic tree-diff algorithm for XML-shaped documents & a frontend for comparing query plans from different database systems
egg is a flexible, high-performance e-graph library
Implementation and experiments of graph embedding algorithms.