#
Highlights
- Pro
Starred repositories
Detours is a software package for monitoring and instrumenting API calls on Windows. It is distributed in source code form.
EPR: A Factoring and Primality checking library for C++
Clockwork: A Modular Arithmetic library for C++
This repository offers an open-source C++ SDK bindings for IDA, enabling custom plugin development and automation.
High-performance automatic differentiation of LLVM and MLIR.
A space-efficient bitmap implementation with inline storage optimization for Rust.
NativeCompressions is the native binding and high-level API of ZStandard, LZ4 and OpenZL compression library for .NET and Unity.
A conjectural nonlinear version of the MBA blast algorithm based on hensel's lemma
Native AirPods integration for KDE Plasma 6 with real-time battery monitoring, noise control, and panel widget.
High performance algorithms in C#: SIMD/SSE, multi-core and faster
Arbitrary precision IEEE-754 implementation in Python for generating SMTLIB float benchmarks
E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC2025)
ABC: System for Sequential Logic Synthesis and Formal Verification
A vector and matrix library written in C# using hardware intrinsics
A fast framework for writing baseline compiler back-ends in C++
#ziplib is a Zip, GZip, Tar and BZip2 library written entirely in C# for the .NET platform.
WPF controls for Numbers, Polynomials, Fractions and more.
Zero allocation LINQ with LINQ to Span, LINQ to SIMD, and LINQ to Tree (FileSystem, JSON, GameObject, etc.) for all .NET platforms and Unity, Godot.
Repository for research on hardware decompilation (loop rerolling) through rewrite rules.
Hex-Rays microcode plugin for automated simplification of Windows Kernel decompilation.
The most powerful ARM 64 (v8, v9) Assembler / Disassembler for .NET
WinVisor - A hypervisor-based emulator for Windows x64 user-mode executables using Windows Hypervisor Platform API