LevKruglyak
Theoretical math + CS major interested in computer graphics, systems programming, simulations, Rust, and many other things
NVIDIAHarvard University
Pinned Repositories
.config
Personal dot files
AutomatedReasoning
An algorithm which should give proofs of statements in higher order logic.
bf-rs
A simple optimizing Brainfuck interpreter written in Rust.
CircuitSimulator
Simple Java application for simulating digital circuits
CryptoTools
A node-editor utility for debugging cryptographic algorithms built using ImGui and ImNodes.
limousine
Procedurally generated hybrid key-value stores
mmap-buffer
(Mostly) safe wrapper for a memory backed buffer
RayTracingRust
A simple CPU ray tracer written in Rust
tardigrade
Simple GPU accelerated N-body simulator.
voidray
Interactive, physically based Rust path tracer
LevKruglyak's Repositories
LevKruglyak/CircuitSimulator
Simple Java application for simulating digital circuits
LevKruglyak/RayTracingRust
A simple CPU ray tracer written in Rust
LevKruglyak/limousine
Procedurally generated hybrid key-value stores
LevKruglyak/tardigrade
Simple GPU accelerated N-body simulator.
LevKruglyak/voidray
Interactive, physically based Rust path tracer
LevKruglyak/bf-rs
A simple optimizing Brainfuck interpreter written in Rust.
LevKruglyak/CryptoTools
A node-editor utility for debugging cryptographic algorithms built using ImGui and ImNodes.
LevKruglyak/mmap-buffer
(Mostly) safe wrapper for a memory backed buffer
LevKruglyak/.config
Personal dot files
LevKruglyak/AutomatedReasoning
An algorithm which should give proofs of statements in higher order logic.
LevKruglyak/harvard
LevKruglyak/hatchery
LevKruglyak/pgm-visualizer