-
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.
701 contributions in the last year
Skip to contributions year listDay of Week | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | April Apr | May May | June Jun | July Jul | ||||||||||||||||||||||||||||||||||||||||
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
July 2025
Created 54 commits in 4 repositories
Created a pull request in CatalaLang/catala that received 9 comments
Add "impossible" to the language
Not supported in all backends yet
+283
−191
lines changed
•
9
comments
Opened 14 other pull requests in 4 repositories
CatalaLang/catala
1
open
7
merged
-
Use 'content' rather than 'of' when matching enums
This contribution was made on Jul 25
-
Polymorphism: fix handling of unnamed explicit type vars
This contribution was made on Jul 25
-
Update mld files & ~~fix~~ odoc warnings
This contribution was made on Jul 24
-
Add polymorphic enum
Optional
to the languageThis contribution was made on Jul 23 -
dcalc printer: print whole program rather than the to_expr version
This contribution was made on Jul 18
-
Cheat-sheet: add test syntax
This contribution was made on Jul 17
-
Switch the cheat-sheet to Modern Technology
This contribution was made on Jul 11
-
Test & fix for a bug related to typing detuplification of let-in constructs
This contribution was made on Jul 10
CatalaLang/catala-examples
1
open
2
merged
-
Rename 'of' to 'content' in enum patterns
This contribution was made on Jul 25
-
Adjust for new optional type
This contribution was made on Jul 24
-
Rename field 'type' which is now a keyword (compat with https://github.com/CatalaLang/catala/pull/775)
This contribution was made on Jul 9
CatalaLang/catala-book
2
merged
-
Add options type and the "impossible" keyword
This contribution was made on Jul 25
-
Document polymorphic function types
This contribution was made on Jul 17
CatalaLang/tree-sitter-catala
1
merged
-
Add support for 'anything of type' and type vars
This contribution was made on Jul 7
Reviewed 4 pull requests in 2 repositories
CatalaLang/catala
3 pull requests
-
Add polymorphic enum
Optional
to the languageThis contribution was made on Jul 24 -
Add "impossible" to the language
This contribution was made on Jul 23
-
Add type variables and quantifiers to the AST
This contribution was made on Jul 15
CatalaLang/catala-book
1 pull request
-
Document polymorphic function types
This contribution was made on Jul 25
Opened 1 issue in 1 repository
CatalaLang/catala
1
open
-
Parser is a bit too tolerant after multi-word keywords
This contribution was made on Jul 7