Pinned Loading

1. cdp-hs cdp-hs Public

   Haskell library for the Chrome DevTools Protocol

   Haskell 10 4

2. js-slang js-slang Public

   Forked from source-academy/js-slang

   Implementations of the Source languages (TypeScript)

   TypeScript

3. dafny-of-python dafny-of-python Public

   A tool for deductive verification of Python programs based on Dafny

   OCaml 14 1

4. pflp-ml pflp-ml Public

   Probabilistic functional logic language embedded in OCaml

   OCaml 3

5. kanren kanren Public

   Kanren(s) embedded in OCaml for logic programming

   OCaml 4

6. non-deterministic-source non-deterministic-source Public

   Metacircular evaluator for a non-deterministic language (based on SICP JS: https://sicp.comp.nus.edu.sg/chapters/85)

   JavaScript 1