Pinned

1. Viper Public

   A statically-typed programming language based on Python, Haskell, Scala, and Swift.

   Python 1

2. variadic-curry-calculus Public

   Simple untyped lambda calculus that supports both variadic functions and auto-currying.

   Racket 9 1

3. Ucombinator/parsing-with-zippers Public

   A clean implementation of Parsing with Zippers.

   OCaml 28

4. parsing-with-zippers-paper-artifact Public

   The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.

   OCaml 23 1

5. tapl-implementations Public

   Implementations of the various languages in "Types and Programming Languages" [Pierce, 2002].

   Haskell 1

6. univ-of-utah-marriott-library-apple/privacy_services_manager Public

   A single management utility to administer Location Services, Contacts requests, Accessibility, and iCloud access in Apple's OS X.

   Python 118 9