5 search results for "tag:"computation""
Showing 1 - 5
-
A linter for logic languages0.10BSD-2-ClauseUsed by 0 other packages24 Jun 2024
-
A tool library for automated deduction tools0.10BSD-2-ClauseUsed by 4 other packages24 Jun 2024
-
A LSP server for automated deduction languages0.10BSD-2-ClauseUsed by 0 other packages24 Jun 2024
-
nx
No documentation
High-performance N-dimensional array library for OCaml1.0.0~alpha0ISCUsed by 6 other packages05 Jul 2025 -
raven
No documentation
Meta package for the Raven ML ecosystem1.0.0~alpha0ISCUsed by 0 other packages05 Jul 2025