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/AStar-in-React
Simple JavaScript implementation of the A* search algorithm built with React
Randy1005/Compiler_hw3
Randy1005/csie_camp2017
Randy1005/data-structure
Randy1005/HackerPA
Randy1005/java
Randy1005/lab1
lab1
Randy1005/lab2
BMI calculator usig file processing
Randy1005/lab3
Randy1005/lab4
Randy1005/lab5
Randy1005/lab6
Randy1005/lab7
Randy1005/maze-solver
Randy1005/mips-cpu
MIPS CPU implemented in Verilog
Randy1005/MIPS-in-verilog-1
A MIPS CPU described in verilog
Randy1005/OpenTripPlanner
An open source multi-modal trip planner
Randy1005/PBL
A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online here: http://formal.cs.utah.edu:8080/pbl/PBL.php
Randy1005/pd2-Angrybird
Randy1005/pd2-Angrybird-1
Randy1005/pd2-sudoku
Randy1005/pd2-Taiko
Randy1005/Project-1-Sudoku
Randy1005/riss-solver
sequential and parallel SAT solver
Randy1005/saucy
Searching for Automorphisms in Underlying CNF, yes?
Randy1005/Simple-32bit-ALU-Design
Randy1005/TOC_chatbot
name : Randy, username : RandyChangBot
Randy1005/VE281
Randy1005/Verilog-MIPSProcessor
Full implementation of a modifed MIPS processor in Verilog.
Randy1005/wp2016
web_design2016