denismerigoux
Javascript bindings for the KaRaMeL-extracted WebAssembly version of the HACL* cryptographic library
published version 1.4.0, 2 years agoWeb assets generated from Catala programs about the French law
published version 0.10.3, a year agoReScript wrapper for the Catala runtime
published version 0.8.1-b.0, 2 years agoLibrary of computations defined by French legislative texts, extract from Catala programs (https://catala-lang.org)
published version 0.8.11, a year agoA module for explicability from the trace of a catala program
published version 0.2.5, a year ago
