Catala

https://github.com/catalalang/catala

Catala is a domain-specific language for deriving faithful-by-construction algorithms from...

Tokens:16,878
Snippets:268
Trust Score:7.7
License:Apache-2.0
Update:2 months ago
Tokens:
Raw