Pinned Repositories
academic-kickstart
academic-kickstart-1
📝 Easily create a beautiful website using Academic, Hugo, and Netlify
AlloyForwardProgress
A repo for AlloyForwardProgress
apple-crash
crashing M-series Apple machines by launching non-terminating kernels
CLBlast
Tuned OpenCL BLAS
CSE211-fa2021
Website for UCSC class CSE211 for Fall 2021
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Murphi2019
A home for the classic model checking tool with the intention to keep it maintained for current systems
PBDD
A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educational purposes as it is not very efficient. Try it out online here: http://formal.cs.utah.edu:8080/pbl/BDD.php
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
tyler-utah's Repositories
tyler-utah/PBDD
A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educational purposes as it is not very efficient. Try it out online here: http://formal.cs.utah.edu:8080/pbl/BDD.php
tyler-utah/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
tyler-utah/Murphi2019
A home for the classic model checking tool with the intention to keep it maintained for current systems
tyler-utah/AlloyForwardProgress
A repo for AlloyForwardProgress
tyler-utah/academic-kickstart
tyler-utah/academic-kickstart-1
📝 Easily create a beautiful website using Academic, Hugo, and Netlify
tyler-utah/apple-crash
crashing M-series Apple machines by launching non-terminating kernels
tyler-utah/CLBlast
Tuned OpenCL BLAS
tyler-utah/CSE211-fa2021
Website for UCSC class CSE211 for Fall 2021
tyler-utah/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
tyler-utah/easyvk
Layer to simplify use of Vulkan for lightweight GPU compute applications.
tyler-utah/GPU_workgroup_managment
A private repo for working on the dynamic GPU workgroup managment project
tyler-utah/mutant-images
tyler-utah/OpenCL_tests
tyler-utah/OpenCLLitmus_v_2
version 2 of OpenCLLitmus
tyler-utah/tyler-academic
tyler-utah/webgpu-litmus