Pinned Loading

1. swsh swsh Public

   The Swift Shell

   Swift 16 2

2. instructure/canvas-ios instructure/canvas-ios Public

   Canvas iOS apps

   Swift 922 126

3. rust-tracer rust-tracer Public

   A ray tracer derived from the "Ray Tracing in One Weekend" series of books

   Rust

4. ppl-ctx-equiv-coq ppl-ctx-equiv-coq Public

   A logical relation for contextual equivalence of a probabilistic programming language in Coq

   Coq 2 1

5. calendar-facts-generator calendar-facts-generator Public

   Generates calendar facts as per xkcd #1930

   PureScript

6. microscheme microscheme Public

   Haskell