Skip to content
Change the repository type filter

All

    Repositories list

    • HoTT Reals in Cubical Agda
      Agda
      1600Updated Apr 10, 2026Apr 10, 2026
    • Benchmarking Static Python
      Python
      25110Updated Mar 25, 2026Mar 25, 2026
    • If T: Benchmark for Type Narrowing
      Racket
      MIT License
      3487Updated Mar 12, 2026Mar 12, 2026
    • Research blog for University of Utah PLT
      HTML
      1000Updated Mar 12, 2026Mar 12, 2026
    • cs6110 sp2026 - natural deduction in Lean starter files
      Dockerfile
      0000Updated Jan 9, 2026Jan 9, 2026
    • Python
      MIT License
      0100Updated Oct 8, 2025Oct 8, 2025
    • Artifact for Chorex at Programming 2025
      Shell
      0000Updated Sep 23, 2025Sep 23, 2025
    • Elixir
      0101Updated Sep 23, 2025Sep 23, 2025
    • chorex

      Public
      Choreographic programming in Elixir
      Elixir
      MIT License
      237200Updated Sep 19, 2025Sep 19, 2025
    • Rough examples of using Chorex—very experimental!
      Elixir
      0211Updated Aug 8, 2025Aug 8, 2025
    • Gradual Typing Performance benchmarks
      Racket
      Other
      125150Updated Apr 2, 2025Apr 2, 2025
    • Julia library providing tracking of floating point errors through a program resources
      Julia
      MIT License
      439330Updated Dec 27, 2024Dec 27, 2024
    • TeX
      0010Updated Dec 11, 2024Dec 11, 2024
    • flowfpx

      Public
      nimble tools for debugging floating-point exceptions
      HTML
      0100Updated Dec 7, 2024Dec 7, 2024
    • Examples for the FloatTracker.jl repository
      Shell
      MIT License
      11110Updated Dec 7, 2024Dec 7, 2024
    • JavaScript
      0100Updated Oct 17, 2024Oct 17, 2024
    • JavaScript
      0100Updated Oct 1, 2024Oct 1, 2024
    • .github

      Public
      0000Updated Aug 19, 2024Aug 19, 2024
    • CSTG

      Public
      CLI tool for generating and visualizing graphs from stacktraces
      C++
      MIT License
      0640Updated Aug 8, 2024Aug 8, 2024
    • Lean gitpod env
      Dockerfile
      0200Updated Feb 6, 2024Feb 6, 2024
    • Dafny gitpod
      Dafny
      0000Updated Jan 30, 2024Jan 30, 2024
    • testing
      Racket
      0010Updated Jan 21, 2024Jan 21, 2024
    • PBT gitpod
      Python
      0100Updated Jan 11, 2024Jan 11, 2024
    • Correctness test for gradual typing
      Racket
      Other
      1290Updated May 28, 2023May 28, 2023
    • Benchmarking tool
      Racket
      Other
      1480Updated Apr 24, 2023Apr 24, 2023
    • gtp-util

      Public
      Just helper functions
      Racket
      Other
      1010Updated Mar 30, 2023Mar 30, 2023
    • gtp-plot

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