rikosellic

Graduate Student @ SJTU

Pinned Repositories

CDCL-solver
An simple CDCL SAT-solver
Language:C++00
Community-detection-with-Node2Vec
EE447 course project. Community detection using Node2vec and K-means++
Language:Python4 1 01
ExplicitLAM
Coq formalization of lambda calculus theories with explicit names. (SETTA'23)
Language:Coq10
Handmade-MLP
A multi-layer perceptron implementation only using numpy.
Language:Python00
IMAGE
00
Pipeline
Verilog Code for the 5-stage pipeline CPU project in the course EI332, SJTU, 2020 Spring
Language:Verilog1 1 00
QuickLabelTool
Language:Python10
START
Language:JavaScript4 2 00
Streaming-Algorithm
Naive implementation of DGIM, Bloom Filter and Count Min
Language:Python0 1 00
ZFC-prover-in-Coq
A mini ZFC prover embedded in Coq for teaching scenarios. (CoqPL'23)
Language:Coq1 1 11

rikosellic's Repositories

rikosellic/Community-detection-with-Node2Vec
EE447 course project. Community detection using Node2vec and K-means++
Language:Python4 1 01
rikosellic/START
Language:JavaScript4 2 00
rikosellic/ExplicitLAM
Coq formalization of lambda calculus theories with explicit names. (SETTA'23)
Language:Coq10
rikosellic/Pipeline
Verilog Code for the 5-stage pipeline CPU project in the course EI332, SJTU, 2020 Spring
Language:Verilog1 1 00
rikosellic/QuickLabelTool
Language:Python10
rikosellic/ZFC-prover-in-Coq
A mini ZFC prover embedded in Coq for teaching scenarios. (CoqPL'23)
Language:Coq1 1 11
rikosellic/CDCL-solver
An simple CDCL SAT-solver
Language:C++00
rikosellic/Handmade-MLP
A multi-layer perceptron implementation only using numpy.
Language:Python00
rikosellic/IMAGE
00
rikosellic/Streaming-Algorithm
Naive implementation of DGIM, Bloom Filter and Count Min
Language:Python0 1 00