Skip to content
@Gradual-Typing

Gradual-Typing

Popular repositories Loading

  1. Grift Grift Public

    A compiler for the gradually typed lambda calculus

    C 76 11

  2. benchmarks benchmarks Public

    Collection of benchmarks for gradually-typed languages

    Racket 4 2

  3. LambdaIFCStar LambdaIFCStar Public

    The Agda mechanization of a gradual security-typed programming language with general mutable references.

    Agda 4 1

  4. Dynamizer Dynamizer Public

    Dynamizer produces valid less precisely-typed versions of a valid program in Grift.

    Haskell 1 1

  5. language-grift language-grift Public

    Parser and pretty printer for Grift languages

    Haskell 1

  6. toys toys Public

    An repository for collecting experiments that explore semantic choices with interpreters and models.

    Racket 1

Repositories

Showing 10 of 12 repositories
  • LambdaIFCStar Public

    The Agda mechanization of a gradual security-typed programming language with general mutable references.

    Gradual-Typing/LambdaIFCStar’s past year of commit activity
    Agda 4 1 0 0 Updated May 24, 2024
  • lambda-sec Public archive
    Gradual-Typing/lambda-sec’s past year of commit activity
    Agda 0 0 0 0 Updated Jan 26, 2023
  • Grift Public

    A compiler for the gradually typed lambda calculus

    Gradual-Typing/Grift’s past year of commit activity
    C 76 MIT 11 26 3 Updated Nov 4, 2021
  • Dynamizer Public

    Dynamizer produces valid less precisely-typed versions of a valid program in Grift.

    Gradual-Typing/Dynamizer’s past year of commit activity
    Haskell 1 GPL-3.0 1 0 0 Updated Sep 30, 2021
  • Gradual-Typing/Equivalence-of-Cast-Calculi’s past year of commit activity
    Agda 0 1 0 0 Updated Nov 29, 2020
  • benchmarks Public

    Collection of benchmarks for gradually-typed languages

    Gradual-Typing/benchmarks’s past year of commit activity
    Racket 4 2 3 0 Updated Apr 25, 2020
  • Reversible-Hypercoercions Public

    Useful in mutable references.

    Gradual-Typing/Reversible-Hypercoercions’s past year of commit activity
    Agda 0 0 0 0 Updated Nov 8, 2019
  • language-grift Public

    Parser and pretty printer for Grift languages

    Gradual-Typing/language-grift’s past year of commit activity
    Haskell 1 BSD-3-Clause 0 0 0 Updated Feb 25, 2019
  • gtp-benchmarks Public Forked from utahplt/gtp-benchmarks

    Gradual Typing Performance benchmarks

    Gradual-Typing/gtp-benchmarks’s past year of commit activity
    Racket 0 11 0 0 Updated Nov 13, 2018
  • gtp Public Forked from nuprl/gtp

    NSF grant website

    Gradual-Typing/gtp’s past year of commit activity
    HTML 0 3 0 0 Updated Oct 2, 2018

Top languages

Loading…

Most used topics

Loading…