Lists (12)
Starred repositories
811
results
for source starred repositories
Clear filter
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
A precise specification for "Rust lite / MIR plus"
A statically typed programming language for scientific computations with first class support for physical dimensions and units
Detours is a software package for monitoring and instrumenting API calls on Windows. It is distributed in source code form.
Repository hosting unofficial binary pack files for many commits of LLVM
A python module to repair invalid JSON from LLMs
Python Linter for performance anti patterns
Browser extension that simplifies the GitHub interface and adds useful features
🌊 Digital timing diagram rendering engine
💎 A fast, open source text processor and publishing toolchain, written in Ruby, for converting AsciiDoc content to HTML 5, DocBook 5, and other formats.
The SysY compiler competition. A backup before official path gets set up.
A next-generation C++ language server for modern C++, focused on high performance and deep code intelligence
Summary of bugs in Xuantie C9XX core design. include C906/C908/C910/C920
Blazing fast and correct x86/x64 disassembler, assembler, decoder, encoder for Rust, .NET, Java, Python, Lua
Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, T…
A plugin to ask AI to explain and offer a solution for clang compiler
It's a New Kind of Wrapper for Exposing LLVM (Safely)
Repository for the book "Crafting Interpreters"
Optimize floating-point expressions for accuracy
Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
a tool for reinterpreting ELF executables and shared libraries
The Cyber Swiss Army Knife - a web app for encryption, encoding, compression and data analysis
A versatile (cross-)toolchain generator.