Starred repositories
46
results
for sponsorable starred repositories
Clear filter
A light-weight and powerful meta-prompting, context engineering and spec-driven development system for Claude Code and OpenCode.
Autonomous multi-session AI coding
Write expressive, high-performance parsers with ease.
🧟 Inject bugs and see if your tests catch them!
🗻 Log-structured, embeddable key-value storage engine written in Rust
📚 A curated list of papers for Software Engineers
ANTLR v4 grammar-based test generator
🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.
Formal verification tool for Rust: check 100% of execution cases of your programs to make safe applications for demanding domains.
A debugging and profiling tool that can trace and visualize python code execution
Linear algebra foundation for the Rust programming language
Probabilistic language based on pattern matching and constraint propagation, 153 examples
A port of the dotnet/runtime RyuJIT compiler to C#
Qdrant - High-performance, massive-scale Vector Database and Vector Search Engine for the next generation of AI. Also available in the cloud https://cloud.qdrant.io/
A Rust compiler backend targeting CIL(.NET IR) and C.
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
⚡ Dynamically generated stats for your github readmes
ZoneTree is a persistent, high-performance, transactional, and ACID-compliant ordered key-value database for .NET. It operates seamlessly both in-memory and on local/cloud storage, making it an ide…
Varena is a .NET library that provides a fast and lightweight arena allocator using virtual memory.
This is an online course where you can learn and master the skill of low-level performance analysis and tuning.
A tool aiming to make it a little bit easier to learn Mono.Cecil
Advanced Data Structures Implementation