Skip to content
@utahplt

PLT @ University of Utah

README.md

Popular repositories Loading

  1. chorex chorex Public

    Choreographic programming in Elixir

    Elixir 41 2

  2. TrackedFloats.jl TrackedFloats.jl Public

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

    Julia 38 4

  3. ifT-benchmark ifT-benchmark Public

    If T: Benchmark for Type Narrowing

    Racket 13 4

  4. hott-reals hott-reals Public

    HoTT Reals in Cubical Agda

    Agda 10 2

  5. gtp-plot gtp-plot Public

    Gradual typing performance plots

    Racket 6 2

  6. CSTG CSTG Public

    CLI tool for generating and visualizing graphs from stacktraces

    C++ 6

Repositories

Showing 10 of 27 repositories
  • hott-reals Public

    HoTT Reals in Cubical Agda

    utahplt/hott-reals's past year of commit activity
    Agda 10 2 0 0 Updated Sep 10, 2026
  • static-python-perf Public

    Benchmarking Static Python

    utahplt/static-python-perf's past year of commit activity
    Python 5 2 11 0 Updated Sep 5, 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 Jul 14, 2026
  • ifT-benchmark Public

    If T: Benchmark for Type Narrowing

    utahplt/ifT-benchmark's past year of commit activity
    Racket 13 MIT 4 8 2 Updated May 12, 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
  • TypeNarrowingAgent Public
    utahplt/TypeNarrowingAgent's past year of commit activity
    Python 1 MIT 0 0 0 Updated Oct 8, 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 41 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