Stars
💫 Toolkit to help you get started with Spec-Driven Development
🌤️ OpenCloud is the open source platform for file management, sharing and collaboration. Simple and sovereign.
Scan MCP servers for potential threats & security findings.
Building Applications with AI Agents
Contains latest company wise questions of LeetCode as of November 2025.
AWS MCP Servers — helping you get the most out of AWS, wherever you use MCP.
Formicary is a distributed, cloud-native orchestration engine for executing complex workflows, data pipelines, and CI/CD jobs.
OAuth provider library for Cloudflare Workers
Staging repo for development of native port of TypeScript
Main reference implementation for NLWeb, implemented in Python.
This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."
Janus-Series: Unified Multimodal Understanding and Generation Models
Project page for "The Fuzzing Book"
🪽 An open, easy, fast, reliable and battery-efficient solution for real-time communications
State Management and Multiplayer Networking for Turn-Based Games
Mocking Distributed Micro services and Contract/Fuzz testing with Record/Play, Templates, OpenAPI Specifications and Stochastic test client
Tactics for discharging Lean goals into SMT solvers.
This is a repo with links to everything you'd ever want to learn about data engineering
A simple to use Java JWT Library. Verify, Sign, Encode, Decode all day.
Social media platform where users can post and authenticate via smart contracts, built on Ethereum using Nest.js, PostgreSQL, Solidity and Prisma