Movatterモバイル変換

Showing 10 of 22 repositories

gtp-benchmarks Public
Gradual Typing Performance benchmarks
utahplt/gtp-benchmarks’s past year of commit activity
Racket 5 11 14 0 UpdatedMar 17, 2025
ifT-benchmark Public
If T: Benchmark for Type Narrowing
utahplt/ifT-benchmark’s past year of commit activity
Racket 2 2 6 2 UpdatedMar 3, 2025
chorex Public
Choreographic programming in Elixir
utahplt/chorex’s past year of commit activity
Elixir 24MIT 1 12 0 UpdatedFeb 28, 2025
chorex_examples Public
Rough examples of using Chorex—very experimental!
utahplt/chorex_examples’s past year of commit activity
Elixir 20 1 0 UpdatedFeb 19, 2025
TrackedFloats.jl Public
Julia library providing tracking of floating point errors through a program resources
utahplt/TrackedFloats.jl’s past year of commit activity
Julia 37MIT 3 33 (1 issue needs help) 0 UpdatedDec 27, 2024
static-python-perf Public
Benchmarking Static Python
utahplt/static-python-perf’s past year of commit activity
Python 4 1 11 1 UpdatedDec 23, 2024
juliacon2023-paper Public
utahplt/juliacon2023-paper’s past year of commit activity
TeX00 1 0 UpdatedDec 11, 2024
flowfpx Public
nimble tools for debugging floating-point exceptions
utahplt/flowfpx’s past year of commit activity
HTML00 0 0 UpdatedDec 7, 2024
FloatTrackerExamples Public
Examples for the FloatTracker.jl repository
utahplt/FloatTrackerExamples’s past year of commit activity
Shell 1MIT 1 11 0 UpdatedDec 7, 2024
utahplt.github.io Public
Research blog for University of Utah PLT
utahplt/utahplt.github.io’s past year of commit activity
HTML0 1 0 0 UpdatedDec 2, 2024

View all repositories

Movatterモバイル変換

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

PLT @ University of Utah

Utah PLT

Popular repositoriesLoading

Repositories

People

Top languages

Most used topics