Bipin's repositories
Flutter-Weather-App
Flutter weather app with a custom temperature graph and a sunshine visualization by painting in the canvas.
Random-Algorithmic-Challenges
One Step Closer ....
distributed-file-system
Distributed file system based on Frangipani paper
Study-of-concolic-execution
A study on path explosion problem in concolic execution
Crafting-Interpreter-in-Rust
Reading "Crafting interpreters" book and building an interpreter in Rust along the way
DNS-Resolver
DNS resolver tool similar to dig
DPLL-SAT-Solver
CNF SAT solver based on DPLL algorithm. Made for fun :)
Language:Rust000
EasyPeasyDB
Simple B-tree based SQL database made for fun :)
Language:Rust000
Language:Haskell000
learning-coq
Curious adventures in Coq proof assistant
Language:Coq000
linux-system-programming-study
Reading the book "Linux system programming" (2007) by Robert Love
Language:C++000
Language:HTMLNOASSERTION000
scheme-in-48hrs
Practicing Haskell
Language:HaskellMIT000
verilog-voyage
Learning verilog :)
Language:Verilog000
VHDL-voyage
Learning VHDL :)
Language:VHDL000