Pinned Loading

1. ocaml-sf/learn-ocaml ocaml-sf/learn-ocaml Public

   A Web Application for Learning OCaml

   JavaScript 323 73

2. Beluga-lang/Beluga Beluga-lang/Beluga Public

   Contextual types meet mechanized metatheory!

   OCaml 207 20

3. andreasabel/strong-normalization andreasabel/strong-normalization Public

   Formalizations of strong normalization proofs

   TeX 35 3

4. Beluga-lang/Meta Beluga-lang/Meta Public

   Mechanizing Types and Programming Languages using Beluga

   TeX 21 3

5. drracket-collapse-atomic drracket-collapse-atomic Public

   A DrRacket tool to collapse arbitrary S-expressions or sequences of S-expressions with a keyboard shortcut.

   Racket 4

6. eidelmanj/concurrent-object-synthesis eidelmanj/concurrent-object-synthesis Public

   Synthesizer for Extensions to Concurrent Data Structures

   Racket 1