Skip to content
Avatar
95 followers · 0 following

Achievements

Achievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback

Achievements

Achievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report jonathan-laurent

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.

Add an optional note:
Report abuse

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

Report abuse

Pinned

  1. AlphaZero.jl Public

    A generic, simple and fast implementation of Deepmind's AlphaZero algorithm.

    Julia 1.1k 106

  2. Kappa-TQL Public

    A trace query language for Kappa

    OCaml 3 1

  3. KaFlow Public

    Causal Analysis for Kappa

    OCaml 6 3

  4. kappa-counterfactuals Public

    Counterfactual reasoning in Kappa

    OCaml 2 4

  5. copilot-kind Public

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

    Haskell 4 3

  6. personal-website Public

    My Hakyll-based personal website

    Haskell 1

1,104 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

October 2022

jonathan-laurent has no activity yet for this period.

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