Skip to content
View scristobal's full-sized avatar

Sponsoring

@lpil
@giacomocavalieri
@GearsDatapacks
@gleam-lang

Block or report scristobal

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Stars

πŸ‘©πŸ»β€πŸ« Lean

10 repositories

A Lean companion to Analysis I

Lean 1,229 163 Updated Oct 12, 2025

x86 PC emulator and x86-to-wasm JIT, running in the browser

JavaScript 21,561 1,595 Updated Sep 20, 2025

Blazing fast and correct x86/x64 disassembler, assembler, decoder, encoder for Rust, .NET, Java, Python, Lua

Rust 3,281 262 Updated Oct 14, 2025

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…

C 8,298 1,619 Updated Oct 13, 2025

It's a New Kind of Wrapper for Exposing LLVM (Safely)

Rust 2,699 251 Updated Sep 23, 2025

A crate to make working with FFI code easier.

Rust 70 7 Updated Sep 27, 2022

A Quick Backend

C 354 25 Updated Mar 22, 2022

A tiny terminal emulator.

C 5 Updated Jan 9, 2021

A terminal-based hex editor with vi-like keybinds.

C 3 Updated Jul 14, 2021

A single-header terminal UI (TUI) library, capable of creating mouse-driven, interactive applications on the command line.

C 233 12 Updated Dec 1, 2023