Block or report user

Report or block jonathan-laurent

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. copilot-kind

    A package for verifying safety properties of Copilot programs using model-checking

    Haskell 2 2

  2. KaFlow

    Causal Analysis for Kappa

    OCaml 4 1

  3. Kappa-TQL

    A trace query language for Kappa

    OCaml 3

  4. bngl-to-kappa

    A tool to translate rule based models written in the BNGL language to Kappa.


  5. kappa-counterfactuals

    Counterfactual reasoning in Kappa


  6. personal-website

    My Hakyll-based personal website


168 contributions in the last year

Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mon Wed Fri

Contribution activity

February 2019

15 contributions in private repositories Feb 7 – Feb 16

Seeing something unexpected? Take a look at the GitHub profile guide.