Skip to content

Pull requests: CatalaLang/catala

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Clerk: generate simplistic dependency Makefiles in the C backend
#1099 opened Sep 8, 2026 by AltGr Contributor Loading…
Add machine-readable JSON output format for dcalc
#1088 opened Aug 25, 2026 by ludovicc Loading…
Adding a js backend using the ocaml backend with js_of_ocaml 🔚 backends Backend runtime or code generation 🔧 compiler Issue concerns the compiler ✨ enhancement New feature or request
#994 opened Mar 27, 2026 by Arnaud-Bihan Contributor Loading…
11 tasks
Add Romanian language support
#848 opened Aug 5, 2025 by ly3xqhl8g9 Loading…
2 of 9 tasks
Add Input or context subscopes 🔧 compiler Issue concerns the compiler ✨ enhancement New feature or request 🚧 wip Work in progress
#624 opened May 24, 2024 by denismerigoux Contributor Draft
4 of 6 tasks
First tentative at a coq backend
#556 opened Jan 8, 2024 by adelaett Contributor Draft
Program slicing for ambiguous dates computation ✨ enhancement New feature or request ✅ proof Proof backends: encoding, solving, etx.
#477 opened Jun 15, 2023 by denismerigoux Contributor Draft
ProTip! Adding no:label will show everything without a label.