Pinned Repositories
Opengl_mapping_implementation
gpu-cpg
Ink
Incremental k-Critical Path Generation
minisat
A minimalistic and high-performance SAT solver
my-portfolio
A Portfolio Website
QSat
A Quick Conflict Driven SAT Solver
Randy1005.github.io
SeaSavior
An iteration of "Polaris 1980"
UnityGrassBrush
Randy1005's Repositories
Randy1005/Ink
Incremental k-Critical Path Generation
Randy1005/UnityGrassBrush
Randy1005/minisat
A minimalistic and high-performance SAT solver
Randy1005/SeaSavior
An iteration of "Polaris 1980"
Randy1005/gpu-cpg
Randy1005/Mini2DGameEngine
Randy1005/QSat
A Quick Conflict Driven SAT Solver
Randy1005/Randy1005.github.io
Randy1005/basic-sim
ns-3 module to make experimental simulation of networks a bit easier.
Randy1005/breakid
BreakID 2.3
Randy1005/cadical
CaDiCaL SAT Solver
Randy1005/concurrentqueue
A fast multi-producer, multi-consumer lock-free concurrent queue for C++11
Randy1005/cs4230-programming-assignments
Randy1005/EAE6610_Che_Chang
EAE6610 assignments
Randy1005/ece5960-Physical-Design
Randy1005/ece6960-heterogeneous-computing
ece6960-heterogeneous-computing assigments and materials
Randy1005/ge
A general-purpose 3D game engine with editor, built with .NET Core
Randy1005/Hazel
Hazel Engine
Randy1005/kissat
Randy1005/MPMCQueue
A bounded multi-producer multi-consumer concurrent queue written in C++11
Randy1005/ns-3-dev-git
GitHub read-only mirror of ns-3-dev repository, will be kept in sync with main GitLab.com repository. Please DO NOT file pull requests here; instead, file issues and merge requests at https://gitlab.com/nsnam/ns-3-dev/
Randy1005/OpenTimer
A High-performance Timing Analysis Tool for VLSI Systems
Randy1005/PathfindingVisualization
Randy1005/react-pathfinder
Randy1005/riss
Riss SAT Solver
Randy1005/SeaSaviorOG
Randy1005/SpecSurfer
Randy1005/Surfer
Randy1005/TravellingSalesmanMST
Randy1005/z3
The Z3 Theorem Prover