trajing

Pinned Repositories

barry-bonds-batless-sim
Language:Ruby1 2 00
learning-agda
Language:Agda0 2 00
mix-mmix-rs
MIX and MMIX emulation in Rust
Language:Rust1 2 00

trajing's Repositories

trajing/barry-bonds-batless-sim
Language:Ruby1 2 00
trajing/mix-mmix-rs
MIX and MMIX emulation in Rust
Language:Rust1 2 00
trajing/learning-agda
Language:Agda0 2 00
trajing/compose-everything
Language:Ruby3 1
trajing/ComputerCraftOS
Language:Shell4 11
trajing/god-to-skinner
Language:JavaScript2 0
trajing/ninja
Ninja is a full stack web framework for Java. Rock solid, fast and super productive.
Language:Java0 0
trajing/resume
Language:TeX2 0
trajing/sexprust
Language:Shell3 0
trajing/talkies
Language:Lua1 0