Skip to content
Avatar

Highlights

  • Arctic Code Vault Contributor

Organizations

@Inria-Prosecco
Block or Report

Pinned

  1. Programming language for literate programming law specification

    OCaml 410 12

  2. A specification language for cryptography primitives.

    Rust 68 11

  3. Compiler for the M language, used to compute the income tax of French taxpayers

    OCaml 51 3

  4. Verification system for effectful programs

    F* 2k 186

  5. Forked from bzg/covid19-algorithme-orientation

    Documentation de l'algorithme d'orientation COVID19

    Clojure 13 10

  6. Cranelift code generator

    2.5k 218

1,676 contributions in the last year

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

Contribution activity

April 2021

Created 1 repository
Opened 3 pull requests in 1 repository
hacspec/hacspec
1 open 2 merged
Reviewed 4 pull requests in 2 repositories
hacspec/hacspec 3 pull requests
CatalaLang/catala 1 pull request

Created an issue in CatalaLang/catala that received 2 comments

Deep embedding of Catala's runtime values

The problem As presented in #89, we need a deep embedding of the runtime values manipulated by the Catala language. This embedding would not only s…

2 comments
10 contributions in private repositories Apr 7 – Apr 12

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