Junrui Liu's repositories
cs292c-coq
CS292C - Forked version of Docker container for Formal Software Verification 2022 course
Language:Dockerfile000
bustub
The BusTub Relational Database Management System (Educational)
Language:C++MIT000
coursera-algorithms
Projects for coursera's Algorithms course
ideals-varieties-algorithms
Implementation of algorithms in the book Ideals, Varieties, and Algorithms by Cox, Little and O'Shea
Language:OCaml000
Inequality_Checker
Software Analysis Project2
Language:Python000
mandelzoom
A Mandelbrot set viewer
Mini_Dafny
Software Analysis Project1
Language:Haskell000
monadic-logic-decider
A decider for monadic predicate logic
MPCTT
Modeling and Proving in Computational Type Theory
Language:Coq000
path-integration-robot
A physical robot that randomly explores the world and can home to its "nest"
Language:Python000
schoenberg-curve
Visualizing the Schoenberg space-filling curve
Language:C++000
Language:HaskellBSD-3-Clause000