Pinned Loading

1. sligh sligh Public

   A language for certifying specification

   OCaml 15

2. personal_finance_funcorrect personal_finance_funcorrect Public

   Checking for functional correctness via model-based refinement

   TypeScript 2

3. freecell.rb freecell.rb Public

   CLI Free Cell Clone

   Ruby 3 1

4. qwerty_dvorak.rs qwerty_dvorak.rs Public

   Rust 2