tyler-utah Goto Github PK

academic-kickstart

academic-kickstart-1

📝 Easily create a beautiful website using Academic, Hugo, and Netlify

alloyforwardprogress

A repo for AlloyForwardProgress

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.

easyvk

Layer to simplify use of Vulkan for lightweight GPU compute applications.

gpu_workgroup_managment

A private repo for working on the dynamic GPU workgroup managment project

murphi2019

A home for the classic model checking tool with the intention to keep it maintained for current systems

mutant-images

opencl_tests

opencllitmus_v_2

version 2 of OpenCLLitmus

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-academic

webgpu-litmus