jeromesimeon (Jerome Simeon) · GitHub
Skip to content
View jeromesimeon's full-sized avatar
🎼
Listening
🎼
Listening
68 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 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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to 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 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