Programming language for literate programming law specification
- programming-language
- legislative-texts
72,362 visible repositories in the index
1–4 of 4 · Most stars
Programming language for literate programming law specification
Lwt Translations of the Async Code Examples in Real World OCaml
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations
A neat interface for Slack