-
Inria + OCamlPro
- Paris
- https://team.inria.fr/prosecco/team-members/
Pinned Loading
-
CatalaLang/catala
CatalaLang/catala PublicProgramming language for literate programming law specification
-
ocaml/opam
ocaml/opam Publicopam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
-
ocaml-sf/learn-ocaml
ocaml-sf/learn-ocaml PublicA Web Application for Learning OCaml
-
OCamlPro/ocp-indent
OCamlPro/ocp-indent PublicIndentation tool for OCaml, to be used from editors like Emacs and Vim.
-
OCamlPro/ocp-index
OCamlPro/ocp-index PublicEasy access to the interface information of installed OCaml libraries for editors like Emacs and Vim.
769 contributions in the last year
Day of Week | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | April Apr | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Contribution activity
April 2025
Created 3 commits in 3 repositories
Created a pull request in CatalaLang/tree-sitter-catala that received 1 comment
Opened 2 other pull requests in 1 repository
CatalaLang/catala
2
open
-
Rehaul the handling of test runs in generated code
This contribution was made on Apr 17
-
Support attachment of attributes to declaration items
This contribution was made on Apr 8
Reviewed 1 pull request in 1 repository
CatalaLang/catala
1 pull request
-
Support attachment of attributes to declaration items
This contribution was made on Apr 9