Skip to content
View kyledewey's full-sized avatar
81 followers · 3 following

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Highlights

  • Pro

Block or report kyledewey

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Stars

Showing results

jroesch / 290c-reading-list

A reading list with citations for UCSB's CS 290G

TeX 6 2 Updated Jan 25, 2015

nunoplopes / alive

Alive: Automatic LLVM's Instcombine Verifier

Python 227 20 Updated Jun 16, 2023

alexbecker / formal-morality

A formal moral framework coded in Haskell

Haskell 50 1 Updated Mar 2, 2015

archive- / goodapp

🏫 {{incomplete}} {{2012}} UCSB Capstone Project 2012

JavaScript 4 Updated Jun 7, 2012

ilya-klyuchnikov / tapl-scala

Code from the book "Types and Programming Languages" in Scala

Scala 189 22 Updated Mar 3, 2026