Pinned Repositories
anakin
Kill orphan processes
autorebase
Automatically rebase all your branches onto master
autosquash
Automatically squash onto merge base
excalidraw_export
CLI to export Excalidraw drawings to SVG and PDF with working fonts.
obliterate
`rm -rf` read-only files
OddSocks
A simple SOCKS proxy with simple web-based authentication (like a wifi hotspot).
robocut
Control vinyl cutters, including Craft Robo, Silhouette, Cameo and Portrait
soundio-rs
A Rust wrapper for libsoundio.
SpdlogBench
Benchmarking spdlog compilation time
Timmmm's Repositories
Timmmm/robocut
Control vinyl cutters, including Craft Robo, Silhouette, Cameo and Portrait
Timmmm/autorebase
Automatically rebase all your branches onto master
Timmmm/excalidraw_export
CLI to export Excalidraw drawings to SVG and PDF with working fonts.
Timmmm/sail_vscode
VSCode extension for the Sail ISA specification language
Timmmm/riscv_specs
Hosted copy of RISC-V HTML specs that you can link to
Timmmm/timmmm.github.io
A blog
Timmmm/vscode
Visual Studio Code
Timmmm/riscv-asm-manual
RISC-V Assembly Programmer's Manual
Timmmm/riscv-ctg
Timmmm/riscv-isa-sim
Spike, a RISC-V ISA Simulator
Timmmm/riscv-opcodes
RISC-V Opcodes
Timmmm/sail
Sail architecture definition language
Timmmm/sail-riscv
Sail RISC-V model
Timmmm/cargo-wasi
A lightweight Cargo subcommand to build Rust code for the `wasm32-wasi` target
Timmmm/compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
Timmmm/compiler-explorer-infra
Infrastructure to set up the public Compiler Explorer instances and compilers
Timmmm/custom_regex_lint
Custom regex linter for pre-commit.
Timmmm/docs-resources
Timmmm/elan
The Lean version manager
Timmmm/filament
Fearless hardware design
Timmmm/git_reviewers
Simple script to guess who to ask for review based on git blame
Timmmm/opensbi
RISC-V Open Source Supervisor Binary Interface
Timmmm/python-constraint
Constraint Solving Problem resolver for Python
Timmmm/rget
Like wget, but faster and with etag caching
Timmmm/riscv-arch-test
Timmmm/riscv-cheri
This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.
Timmmm/riscv-isa-manual
RISC-V Instruction Set Manual
Timmmm/riscv-plic-spec
PLIC Specification
Timmmm/verilator
Verilator open-source SystemVerilog simulator and lint system
Timmmm/z3
The Z3 Theorem Prover