Skip to content
@utahplt

PLT @ University of Utah

README.md

Popular repositories Loading

  1. TrackedFloats.jl TrackedFloats.jl Public

    Julia library providing tracking of floating point errors through a program resources

    Julia 38 4

  2. chorex chorex Public

    Choreographic programming in Elixir

    Elixir 32 2

  3. gtp-plot gtp-plot Public

    Gradual typing performance plots

    Racket 6 2

  4. CSTG CSTG Public

    CLI tool for generating and visualizing graphs from stacktraces

    C++ 6

  5. gtp-benchmarks gtp-benchmarks Public

    Gradual Typing Performance benchmarks

    Racket 5 12

  6. static-python-perf static-python-perf Public

    Benchmarking Static Python

    Python 5 2

Repositories

Showing 10 of 27 repositories
  • hott-reals Public
    utahplt/hott-reals’s past year of commit activity
    Agda 1 0 0 0 Updated Feb 24, 2026
  • ifT-benchmark Public

    If T: Benchmark for Type Narrowing

    utahplt/ifT-benchmark’s past year of commit activity
    Racket 4 MIT 3 12 5 Updated Feb 20, 2026
  • lean-logic-gitpod Public

    cs6110 sp2026 - natural deduction in Lean starter files

    utahplt/lean-logic-gitpod’s past year of commit activity
    Dockerfile 0 0 0 0 Updated Jan 9, 2026
  • utahplt.github.io Public

    Research blog for University of Utah PLT

    utahplt/utahplt.github.io’s past year of commit activity
    HTML 0 1 0 0 Updated Dec 10, 2025
  • TypeNarrowingAgent Public
    utahplt/TypeNarrowingAgent’s past year of commit activity
    Python 1 MIT 0 0 0 Updated Oct 8, 2025
  • static-python-perf Public

    Benchmarking Static Python

    utahplt/static-python-perf’s past year of commit activity
    Python 5 2 11 0 Updated Oct 7, 2025
  • programming2025_artifact Public

    Artifact for Chorex at Programming 2025

    utahplt/programming2025_artifact’s past year of commit activity
    Shell 0 0 0 0 Updated Sep 23, 2025
  • chorex_benchmarks Public
    utahplt/chorex_benchmarks’s past year of commit activity
    Elixir 1 0 0 1 Updated Sep 23, 2025
  • chorex Public

    Choreographic programming in Elixir

    utahplt/chorex’s past year of commit activity
    Elixir 32 MIT 2 20 0 Updated Sep 19, 2025
  • chorex_examples Public

    Rough examples of using Chorex—very experimental!

    utahplt/chorex_examples’s past year of commit activity
    Elixir 2 0 1 1 Updated Aug 8, 2025
View all repositories

Most used topics

floating-point julia