Pinned Loading

1. Viper Viper Public

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

   Python 4

2. variadic-curry-calculus variadic-curry-calculus Public

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

   Racket 10 1

3. Ucombinator/parsing-with-zippers Ucombinator/parsing-with-zippers Public

   A clean implementation of Parsing with Zippers.

   OCaml 37 2

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

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

   OCaml 27 2

5. tapl-implementations 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 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 126 10