Stars
Browser extension that generates API specs for any app or website
🚀🎉📚 SaaS Boilerplate built with Next.js + Tailwind CSS + Shadcn UI + TypeScript. ⚡️ Full-stack React application with Auth, Multi-tenancy, Roles & Permissions, i18n, Landing Page, DB, Logging, Testing
Lightweight library for general purpose task management
Constrainable existential type & utilities
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
A monad for interfacing with external SMT solvers
A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.