NethermindEth / LeanCIL
LeanCIL is a Lean 4 formal verification framework for .NET programs. It enables machine-checked proofs of correctness and safety against compiled Common Intermediate Language (CIL), supporting applications written in C#, F#, and other .NET languages.
iggredible / Learn-Vim
Learning Vim and Vimscript doesn't have to be hard. This is the guide that you're looking for 📖
rust-lang / miri
An interpreter for Rust's mid-level intermediate representation
quantumlib / Cirq
Python framework for creating, editing, and running Noisy Intermediate-Scale Quantum (NISQ) circuits.
cea-sec / miasm
Reverse engineering framework in Python
facebook / igl
Intermediate Graphics Library (IGL) is a cross-platform library that commands the GPU. It provides a single low-level cross-platform interface on top of various graphics APIs (e.g. OpenGL, Metal and Vulkan).
antfu-collective / vite-plugin-inspect
Inspect the intermediate state of Vite plugins
hendurhance / ui-ux
📚 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 of designing user interfaces and user experiences.
Vector35 / binaryninja-api
Public API, examples, documentation and issues for Binary Ninja
NVIDIA / cuda-tile
CUDA Tile IR is an MLIR-based intermediate representation and compiler infrastructure for CUDA kernel optimization, focusing on tile-based computation patterns and optimizations targeting NVIDIA tensor core units.
CodeStitchOfficial / Intermediate-Website-Kit-SASS
The official CodeStitch Intermediate kit, featuring 11ty, Decap CMS and SASS - all set up for you! Perfect for websites of all sizes.
GrammaTech / ddisasm
A fast and accurate disassembler
google / jsir
Next-generation JavaScript analysis tooling
calyxir / calyx
Intermediate Language (IL) for Hardware Accelerator Generators
starkware-libs / cairo-vm
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
WILLOSCAR / research-units-pipeline-skills
Research pipelines as semantic execution units: each skill declares inputs/outputs, acceptance criteria, and guardrails. Evidence-first methodology prevents hollow writing through structured intermediate artifacts.
kkakkkka / awesome-code-as-x
A Curated List of Coding-agent that treat a program as the executable intermediate representation for Policy, World, Editor and beyond
sibylsea-hub / gpt-thinking-block-mcp
Render GPT's visible, customizable intermediate thinking as a collapsible MCP Apps card.
ibrews / unreal-custodian
Reclaim the Intermediate, Binaries and cache folders your Unreal Engine projects and engines quietly hoard — without touching anything you authored.
taovietducofficial / OOP-Student
OOP-Student is the next level after OOP-Beginner, helping learners move from basic OOP to practical object-oriented design with Java, C++, and Python through abstraction, composition, SOLID principles, design patterns, and real-world exercises.
Coder-s-OG-s / Trajectory-IR
Portable, hash-verifiable intermediate representation for agent execution trajectories (seals, effects, .tir packages) on top of durable backends like Temporal and DBOS.