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

Achievements

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

Achievements

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

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

  1. accordproject/ergo accordproject/ergo Public archive

    Programming Language for Smart Legal Contracts

    Coq 156 56

  2. querycert/qcert querycert/qcert Public

    Compilation and Verification of Data-Centric Languages

    Coq 55 9

  3. accordproject/template-archive accordproject/template-archive Public

    Smart Legal Contracts & Templating System

    JavaScript 268 118

  4. accordproject/markdown-transform accordproject/markdown-transform Public

    Parse and transform markdown text, including TemplateMark markdown templates

    JavaScript 64 48

  5. Galax Galax Public

    XQuery Implementation

    OCaml 9 4