Pinned Repositories
kazan
Mirror; Work-in-progress software-rendering Vulkan implementation
algebraics
algebraic numbers implemented in rust; mirror of https://salsa.debian.org/Kazan-team/algebraics
hashlife3d
Block-based sandbox game accelerated using 3D HashLife
lib3d
3d graphics library with fast software renderer
my-compiler
SSA optimization and code generation test
quick-shell
Bash-compatible shell that JIT compiles commands
rv32
RISC-V 32-bit processor that runs a 2.5D maze game; Built for CPTR380 Winter of 2018 at Walla Walla University
simple-soft-float
soft-float library that intends to be a straightforward reference implementation of IEEE 754; mirror of https://salsa.debian.org/Kazan-team/simple-soft-float
voxels-0.7
3D sandbox game that aims to be Minecraft compatible (functionality-wise)
vulkan-cpu
work-in-progress for Vulkan implementation on cpu
programmerjake's Repositories
programmerjake/rust-hdl
(mirror) WIP hardware description language embedded in Rust -- kinda like nmigen
programmerjake/aerial
A Minetest mod that adds wings to the game
programmerjake/asuna
A Minetest game of vibrant natural wonders
programmerjake/basic_materials
Basic materials/items for Minetest mods
programmerjake/blog.rust-lang.org
The Rust Programming Language Blog
programmerjake/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
programmerjake/dfcaverns
Replicating Dwarf Fortress' underground flora in Minetest
programmerjake/dlxtrains_modpack
programmerjake/ExchangeClone
Equivalent Exchange/ProjectE for Minetest Game and MineClone2/Mineclonia
programmerjake/hashbrown
Rust port of Google's SwissTable hash map
programmerjake/lang-team
Home of the Rust language design team.
programmerjake/libre-soc-wiki
the libre-soc wiki, but with some extra branches
programmerjake/matrix-appservice-irc
Node.js IRC bridge for Matrix
programmerjake/microwatt
A tiny Open POWER ISA softcore written in VHDL 2008
programmerjake/nether
Nether mod for Minetest
programmerjake/ocular_networks
programmerjake/pyo3_bigint_overflow
programmerjake/rust-vcd
Read and write VCD (Value Change Dump) files in Rust
programmerjake/sby
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
programmerjake/scoped-tls
Scoped Thread Local Storage for Rust
programmerjake/stepper-motor
programmerjake/syn
Parser for Rust source code
programmerjake/technic_armor
Technic armor addon for Minetest 3D Armor
programmerjake/test-int-raytrace
programmerjake/this-week-in-rust
Data for this-week-in-rust.org
programmerjake/uraniumstuff
Mod for Minetest, adds Uranium tools and armor, compatible with technic.
programmerjake/WASI
WebAssembly System Interface
programmerjake/wasmer.io
The Wasmer.io website
programmerjake/website
AssemblyScript's website and documentation.
programmerjake/yosys
Yosys Open SYnthesis Suite