Skip to content
View jeromesimeon's full-sized avatar
🎼
Listening
🎼
Listening
  • Clause, Inc.
  • New York

Highlights

  • Pro

Organizations

@querycert @accordproject @dbcert

Block or report jeromesimeon

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. querycert/qcert querycert/qcert Public

    Compilation and Verification of Data-Centric Languages

    Coq 56 9

  2. accordproject/ergo accordproject/ergo Public archive

    Programming Language for Smart Legal Contracts

    Coq 158 55

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

    Parse and transform markdown text, including TemplateMark markdown templates

    JavaScript 73 50

  4. accordproject/concerto accordproject/concerto Public

    Business schema language and runtime

    JavaScript 122 108

  5. Galax Galax Public

    XQuery Implementation

    OCaml 10 4

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

    Watson Assistant OCaml SDK

    OCaml 22 13