Skip to content
View jonathan-laurent's full-sized avatar
126 followers · 1 following

Achievements

Achievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Highlights

  • Pro

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.

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

  • kappa-counterfactuals-paper Public

    IJCAI Paper on Counterfactual Resimulation

    TeX Updated May 26, 2018

  • bngl-to-kappa Public

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

    OCaml Updated Mar 12, 2018

  • HaskAnything Public

    Forked from beerendlauwers/HaskAnything

    Hask Anything! is a website aimed at collecting and organizing the collective knowledge of the Haskell community.

    HTML BSD 3-Clause "New" or "Revised" License Updated Jun 9, 2017

  • storylab Public

    A basic implementation of causal analysis on simple rectangular systems

    Haskell 2 1 Updated Oct 23, 2016

  • kappa-stories Public

    A program to generate statically kappa stories.

    OCaml 3 Updated Aug 2, 2015

  • lisa Public

    A simple static analyzer

    OCaml 2 1 Updated Oct 4, 2014

  • minicpp Public

    A simple optimizing compiler for a subset of C++

    OCaml 2 1 Updated Oct 4, 2014

  • SystDigit-Projet Public

    Forked from Alexis211/SystDigit-Projet
    OCaml Updated Jan 14, 2014