kesleta

Pinned Repositories

FTC-STEAM-2021
Language:Java30
Expression-Parser
Language:Haskell10
Ben-Bot-MK-II
A second generation Ben Bot, now in Rust!
Language:Rust00
cubical
An experimental library for Cubical Agda
Language:Agda00
First-React
Language:HTML00
lets-code
The source code for my Let's Code series
Language:Rust00
Math_Parser
Language:Haskell00
Percolation
00
Robot-Framework-Test
(Attempted) Implementation of Robot Framework, on a bare-bones robot.
Language:Java00
Roman-Numerals
Language:Haskell00

kesleta's Repositories

kesleta/Percolation
kesleta/cubical
An experimental library for Cubical Agda
kesleta/rust
Empowering everyone to build reliable and efficient software.
Language:Rust
kesleta/Rust-Physics-Engine
Language:Rust
kesleta/Ben-Bot-MK-II
A second generation Ben Bot, now in Rust!
Language:Rust
kesleta/Robot-Framework-Test
(Attempted) Implementation of Robot Framework, on a bare-bones robot.
kesleta/lets-code
The source code for my Let's Code series
kesleta/Math_Parser
Language:Haskell
kesleta/Roman-Numerals
Language:Haskell
kesleta/FTC-STEAM-2021
Language:Java3
kesleta/Expression-Parser
Language:Haskell1
kesleta/First-React
Language:HTML