PinnedLoading

1. cdp-hscdp-hsPublic

   Haskell library for the Chrome DevTools Protocol

   Haskell 11 5

2. js-slangjs-slangPublic

   Forked fromsource-academy/js-slang

   Implementations of the Source languages (TypeScript)

   TypeScript

3. dafny-of-pythondafny-of-pythonPublic

   A tool for deductive verification of Python programs based on Dafny

   OCaml 24 1

4. pflp-mlpflp-mlPublic

   Probabilistic functional logic language embedded in OCaml

   OCaml 3

5. kanrenkanrenPublic

   Kanren(s) embedded in OCaml for logic programming

   OCaml 4

6. non-deterministic-sourcenon-deterministic-sourcePublic

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

   JavaScript 1