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

Achievements

Achievement: Starstruckx2Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4

Achievements

Achievement: Starstruckx2Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4

Highlights

  • Pro

Organizations

@querycert @accordproject @dbcert
Block or Report

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 55 9

  2. accordproject/ergo accordproject/ergo Public archive

    Programming Language for Smart Legal Contracts

    Coq 157 55

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

    Parse and transform markdown text, including TemplateMark markdown templates

    JavaScript 67 49

  4. accordproject/concerto accordproject/concerto Public

    Business schema language and runtime

    JavaScript 106 99

  5. Galax Galax Public

    XQuery Implementation

    OCaml 10 4

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

    Watson Assistant OCaml SDK

    OCaml 24 13