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/riscv-jit-emulator
WIP emulator for riscv that (eventually will) jit-compiles code -- the intention is to run cargo/rustc in a sandbox
programmerjake/hashlife
programmerjake/parallel-hashlife-4
Parallel/Multithreaded 1D/2D/3D Hashlife algorithm
programmerjake/project-portable-simd
Portable SIMD project group
programmerjake/rust-hdl
(mirror) WIP hardware description language embedded in Rust -- kinda like nmigen
programmerjake/avr-stringsynth
programmerjake/blog.rust-lang.org
The Rust Programming Language Blog
programmerjake/crev-proofs
Crev proof repository
programmerjake/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
programmerjake/Exile
Survival game for Minetest.
programmerjake/ghost-cell
An implementation of Joshua Yanovski's Ghost Cell paper.
programmerjake/inkwell
It's a New Kind of Wrapper for Exposing LLVM (Safely)
programmerjake/libre-soc-wiki
the libre-soc wiki, but with some extra branches
programmerjake/matrix-appservice-irc
Node.js IRC bridge for Matrix
programmerjake/maturin
Build and publish crates with pyo3, rust-cpython and cffi bindings as well as rust binaries as python packages
programmerjake/platforms-crate
Rust platform registry with information about valid Rust platforms sourced from Rust Forge
programmerjake/pyo3
Rust bindings for the Python interpreter
programmerjake/pyo3_bigint_overflow
programmerjake/rustc-version-rs
programmerjake/sby
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
programmerjake/simd-splat-demo
Demo of SIMD splatting, see https://rust-lang.zulipchat.com/#narrow/stream/257879-project-portable-simd/topic/Splatting.20APIs/near/212368202
programmerjake/simple-riscv-cpu
Simple RISC-V RV32I CPU
programmerjake/stepper-motor
programmerjake/team
Rust teams structure
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/vcdump
programmerjake/wasmer.io
The Wasmer.io website
programmerjake/website
AssemblyScript's website and documentation.
programmerjake/yosys
Yosys Open SYnthesis Suite