Skip to content


  • Arctic Code Vault Contributor
  • Pro




  1. A typed parser generator embedded in Rust code for Parsing Expression Grammars

    Rust 126 13

  2. Constraint programming in Rust

    Rust 45 4

  3. Forked from mpelleau/AbSolute

    Constraint solver based on abstract interpretation

    OCaml 5 2

  4. Programming language based on the synchronous and constraint paradigms

    Java 12

  5. Forked from fredokun/nominal-workbench

    A prototype tool for experimenting nominal rewrite systems

    OCaml 6 3

  6. What did you expect?

    C++ 114 17

237 contributions in the last year

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

Contribution activity

August 2020

ptal has no activity yet for this period.

July 2020

1 contribution in private repositories Jul 22

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

You can’t perform that action at this time.