Skip to content
View tyler-utah's full-sized avatar
51 followers · 5 following

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report tyler-utah

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. PBDD PBDD Public

    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…

    Python 14 3

  2. PBL PBL Public

    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

    Python 10 4

  3. Murphi2019 Murphi2019 Public

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

    C++ 7 2

  4. AlloyForwardProgress AlloyForwardProgress Public

    A repo for AlloyForwardProgress

    Metal 3 1

  5. academic-kickstart academic-kickstart Public

    Shell 1

  6. AIPerformanceBlog AIPerformanceBlog Public

    Playing around with AI generated performance blogs

    1