PinnedLoading

1. deltadeltaPublic

   Implementation of the Delta Language

   Haskell 9

2. unboxed-splitmixunboxed-splitmixPublic

   A port of splittable_random using unboxed int64s.

   OCaml

3. heartbeatheartbeatPublic

   Heartbeat Scheduling in Ocaml

   OCaml 2

4. SubSliceSubSlicePublic

   A little Rust library for giving per-index refcounted access to a slice through a shared reference.

   Rust 2

5. dafny-typechecker-stabilitydafny-typechecker-stabilityPublic

   TeX

6. raytrace-rsraytrace-rsPublic

   Raytracer in rust

   Rust 1