Stars
Recipe for abnormal Magic Hexagons of any orders
Wasm interpreter in lean, designed for reasoning
An extensive and commented list of resources on Late-Interaction Multivector Retrieval.
On the Theoretical Limitations of Embedding-Based Retrieval
Tool to generate swiss e-steuerauszug from banking exports
A simple Expectation-Maximization solution to a student ranking problem
Make UI prototypes natively in GitHub Copilot and VS Code
A high-performance immutable mapping type for Python.
Lean 4 programming language and theorem prover
Microsoft Quantum Development Kit, including the Q# programming language, resource estimator, and Quantum Katas
Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
⚡ Fast, async, stream-based link checker written in Rust. Finds broken URLs and mail addresses inside Markdown, HTML, reStructuredText, websites and more!
This repository documents changes to Azure RBAC roles, by periodically fetching the definitions of the roles using Get-AzRoleDefinition and committing the results to this repository.
A commenting system powered by GitHub Discussions. 💬 💎
Userspace eBPF runtime for Observability, Network, GPU & General Extensions Framework
CLI tool to perform cost analysis on your Azure subscription
Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.
A vector search SQLite extension that runs anywhere!
Examples and hands-on labs for Linux tracing tools workshops
A Textual widget wrapper library for Plotext