Skip to content
@utahplt

PLT @ University of Utah

README.md

Popular repositories Loading

  1. chorex chorex Public

    Choreographic programming in Elixir

    Elixir 40 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 12 4

  4. hott-reals hott-reals Public

    HoTT Reals in Cubical Agda

    Agda 8 1

  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
View all repositories

Top languages

Loading…

Most used topics

Loading…