Skip to content

@utahplt PLT @ University of Utah

All

    Repositories list

    28 repositories

    • hott-reals-paper

      Public
      Proof sketches and paper for the HoTT book reals on premetric foundations
      0•0•0•0•Updated Sep 2, 2026Sep 2, 2026

    • hott-reals

      Public
      HoTT Reals in Cubical Agda
      cubical-type-theoryagdaconstructive-mathematics
      cubical-type-theoryagdaconstructive-mathematics
      Agda
      •1•8•0•0•Updated Sep 2, 2026Sep 2, 2026

    • utahplt.github.io

      Public
      Research blog for University of Utah PLT
      HTML
      •1•0•0•0•Updated Jul 14, 2026Jul 14, 2026

    • ifT-benchmark

      Public
      If T: Benchmark for Type Narrowing
      Racket
      •
      MIT License
      •4•13•8•2•Updated May 12, 2026May 12, 2026

    • static-python-perf

      Public
      Benchmarking Static Python
      Python
      •2•5•11•0•Updated Mar 25, 2026Mar 25, 2026

    • lean-logic-gitpod

      Public
      cs6110 sp2026 - natural deduction in Lean starter files
      Dockerfile
      •0•0•0•0•Updated Jan 9, 2026Jan 9, 2026

    • TypeNarrowingAgent

      Public
      Python
      •
      MIT License
      •0•1•0•0•Updated Oct 8, 2025Oct 8, 2025

    • programming2025_artifact

      Public
      Artifact for Chorex at Programming 2025
      Shell
      •0•0•0•0•Updated Sep 23, 2025Sep 23, 2025

    • chorex_benchmarks

      Public
      Elixir
      •0•1•0•1•Updated Sep 23, 2025Sep 23, 2025

    • chorex

      Public
      Choreographic programming in Elixir
      elixirmetaprogrammingchoreographic-programming
      elixirmetaprogrammingchoreographic-programming
      Elixir
      •
      MIT License
      •2•41•20•0•Updated Sep 19, 2025Sep 19, 2025

    • chorex_examples

      Public
      Rough examples of using Chorex—very experimental!
      Elixir
      •0•2•1•1•Updated Aug 8, 2025Aug 8, 2025

    • gtp-benchmarks

      Public
      Gradual Typing Performance benchmarks
      Racket
      •
      Other
      •12•5•15•0•Updated Apr 2, 2025Apr 2, 2025

    • TrackedFloats.jl

      Public
      Julia library providing tracking of floating point errors through a program resources
      juliafloating-pointjulia-package
      juliafloating-pointjulia-package
      Julia
      •
      MIT License
      •4•38•33•0•Updated Dec 27, 2024Dec 27, 2024

    • juliacon2023-paper

      Public
      TeX
      •0•0•1•0•Updated Dec 11, 2024Dec 11, 2024

    • flowfpx

      Public
      nimble tools for debugging floating-point exceptions
      HTML
      •0•1•0•0•Updated Dec 7, 2024Dec 7, 2024

    • FloatTrackerExamples

      Public
      Examples for the FloatTracker.jl repository
      juliafloating-point
      juliafloating-point
      Shell
      •
      MIT License
      •1•1•11•0•Updated Dec 7, 2024Dec 7, 2024

    • goat-wolf-puzzle

      Public
      JavaScript
      •0•1•0•0•Updated Oct 17, 2024Oct 17, 2024

    • drone-deconfliction

      Public
      JavaScript
      •0•1•0•0•Updated Oct 1, 2024Oct 1, 2024

    • .github

      Public
      0•0•0•0•Updated Aug 19, 2024Aug 19, 2024

    • CSTG

      Public
      CLI tool for generating and visualizing graphs from stacktraces
      stacktrace
      stacktrace
      C++
      •
      MIT License
      •0•6•4•0•Updated Aug 8, 2024Aug 8, 2024

    • lean-gitpod

      Public
      Lean gitpod env
      Dockerfile
      •0•2•0•0•Updated Feb 6, 2024Feb 6, 2024

    • dafny-gitpod

      Public
      Dafny gitpod
      Dafny
      •0•0•0•0•Updated Jan 30, 2024Jan 30, 2024

    • forge-gitpod

      Public
      testing
      Racket
      •0•0•1•0•Updated Jan 21, 2024Jan 21, 2024

    • pbt-gitpod

      Public
      PBT gitpod
      Python
      •0•1•0•0•Updated Jan 11, 2024Jan 11, 2024

    • gtp-checkup

      Public
      Correctness test for gradual typing
      Racket
      •
      Other
      •1•2•9•0•Updated May 28, 2023May 28, 2023

    • gtp-measure

      Public
      Benchmarking tool
      Racket
      •
      Other
      •1•4•8•0•Updated Apr 24, 2023Apr 24, 2023

    • gtp-util

      Public
      Just helper functions
      Racket
      •
      Other
      •1•0•1•0•Updated Mar 30, 2023Mar 30, 2023

    • gtp-plot

      Public
      Gradual typing performance plots
      Racket
      •
      Other
      •2•6•5•0•Updated Mar 3, 2022Mar 3, 2022
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.