Pinned Loading

1. querycert/qcert querycert/qcert Public

   Compilation and Verification of Data-Centric Languages

   Coq 59 10

2. accordproject/ergo accordproject/ergo Public archive

   Programming Language for Smart Legal Contracts

   Coq 169 55

3. accordproject/markdown-transform accordproject/markdown-transform Public

   Parse and transform markdown text, including TemplateMark markdown templates

   TypeScript 86 68

4. accordproject/concerto accordproject/concerto Public

   Business schema language and runtime

   JavaScript 197 221

5. Galax Galax Public

   XQuery Implementation

   OCaml 10 4

6. IBM/wcs-ocaml IBM/wcs-ocaml Public archive

   Watson Assistant OCaml SDK

   OCaml 21 13