Programming language for literate programming law specification
- programming-language
- legislative-texts
72,362 visible repositories in the index
1–2 of 2 · Most stars
Programming language for literate programming law specification
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations