Carlos Navajas's repositories
nix-config
Nix Configuration Repo ❄
CipherRun
A Fast, Modular, and Scalable TLS/SSL Security Scanner Written in Rust
tmux-grimoire
Lightweight tmux plugin for customizable floating shells (“shpells”) — fast, scriptable, aesthetic.
latdder
Learn Type-Driven Design in Rust. A progressive series of challenges to master the powerful type-state pattern.
plux
Tmux plugin manager written in Rust
low-level-evm
ASM (not ASMR) for EVM, exploration of assembly for the Ethereum Virtual Machine
wash
The Wasm Shell
cuckoo-filter
Space-efficient probabilistic data structure for fast membership testing with low false positive rates.
ethereum-indexer
High-performance Ethereum indexer built in Rust, with a REST API and Next.js frontend to crawl and display blockchain data.
awesome-tmux
A list of awesome resources for tmux
eth-mpt
Exploration of Ethereum’s Merkle-Patricia Trie (MPT) in Rust.
aquascope
Interactive visualizations of Rust at compile-time and run-time
merkle-tree-api
Merkle Tree server written in Rust, supporting incremental updates, proof generation, and verification.
data-in-depth
Exploration of data representation, focusing on number approximation formats and CPU emulator.
nix-darwin-kickstarter
macOS as Code! A beginner-friendly nix-darwin + home-manager + flakes startup configuration. 一份易于理解的 nix-darwin 初始配置模板，专为新手制作.
libuv-server
Exploration of a Libuv server simulating blocking HTTP request handling.
hlf-solana
Hybrid Voting System using Hyperledger Fabric & Solana
type-driven-design
Exploring Type-Driven API Design in Rust