-
-
-
-
-
utahplt-blog Public
Forked from utahplt/utahplt.github.ioResearch Blog for University of Utah PLT
HTML UpdatedJul 13, 2024 -
my-favorite-resume Public
This is my resume. Original template pilfered from Yisong Yue.
-
study Public
Forked from revisit-studies/studyCreate your own study by cloning and editing configs; or check out the code behind the study components.
JavaScript BSD 3-Clause "New" or "Revised" License UpdatedJun 26, 2024 -
-
typed-racket Public
Forked from racket/typed-racketTyped Racket
-
gtp-benchmarks Public
Forked from utahplt/gtp-benchmarksGradual Typing Performance benchmarks
-
luau-telemetry Public
Large-scale, anonymous, randomized logging of type errors in Luau
-
-
require-typed-check Public
Racket's require/typed, but avoids generating contracts for typed-to-typed interaction
-
-
-
-
trivial Public
Stronger types for a few Typed Racket operators
-
ucsc-ospo.github.io Public
Forked from ucsc-ospo/ucsc-ospo.github.ioWebsite of the Open Source Program Office, UC Santa Cruz
-
papers-ux-ai-programming Public
Forked from AZHenley/papers-ux-ai-programmingList of research papers of research papers investigating the user experience of AI-powered programming assistants (e.g., Copilot).
MIT License UpdatedDec 28, 2023 -
-
-
gtp-util Public
Forked from utahplt/gtp-utilJust helper functions
Racket Other UpdatedNov 29, 2023 -
-
shplait Public
Forked from mflatt/shplaitBased on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation
Racket MIT License UpdatedOct 12, 2023 -
rhombus-prototype Public
Forked from racket/rhombusBrainstorming and draft proposals for Rhombus
Racket Other UpdatedOct 4, 2023 -
-
FloatTracker.jl Public
Forked from utahplt/TrackedFloats.jlJulia library providing tracking of floating point errors through a program resources
Julia MIT License UpdatedAug 16, 2023 -
-
retic_performance-2 Public
Forked from nuprl/retic_performancePerformance evaluation of Reticulated Python
Racket MIT License UpdatedJun 12, 2023 -
gtp-checkup Public
Forked from utahplt/gtp-checkupCorrectness test for gradual typing
Racket Other UpdatedMay 25, 2023