Stars
A rich text editor React component for markdown
A formal semantics of the RISC-V ISA in Haskell
A core language for rule-based hardware design 🦑
Linux running inside a PDF file via a RISC-V emulator
Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older versio…
JavaScript SDK Design Guide extracted from work and personal experience
Shadcn table with server-side sorting, filtering, and pagination.
Rich-text editor with AI, MCP, and shadcn/ui
📦 Repomix is a powerful tool that packs your entire repository into a single, AI-friendly file. Perfect for when you need to feed your codebase to Large Language Models (LLMs) or other AI tools lik…
MacAlverse is an open-source macOS-style desktop environment built entirely with AI-generated code using React. We encourage contributors to leverage AI tools for writing most of the code, ensuring…
Jugalbandi (JB) Manager is a full AI-powered conversational chatbot platform. It's platform agnostic and can serve multiple channels such as WhatsApp or custom web interfaces. It can handle convers…
A toolkit to create optimal Production-readyRetrieval Augmented Generation(RAG) setup for your data
Json Schema Type Builder with Static Type Resolution for TypeScript
ALICE (Automated Learning and Intelligence for Causation and Economics) is a Microsoft Research project aimed at applying Artificial Intelligence concepts to economic decision making. One of its go…
Lean 4 programming language and theorem prover
For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data structure server, and document and vector query engine.
Type-safe API Route Handlers for Next.js
The financial transactions database designed for mission critical safety and performance.
ResumeLint: Analyze your resume against any job desc.. Get match %, missing keywords, and personalized improvements!💡
📚 This guide is designed to help you learn UI/UX design, and is divided into three levels: Beginner, Intermediate, and Expert. It includes learning resource, guides and tools that cover all aspects…
Abstruse is a free and open-source CI/CD platform that tests your models and code.
A modular and extensible networking stack which solves many challenges of peer-to-peer applications.