5 search results for "author:"Jean Krivine""
Showing 1 - 5
-
Software suite for the Kappa language4.0.0LGPL-3.0-onlyUsed by 0 other packages03 Apr 2018
-
Backends for an interactive use of the Kappa tool suite. Used by the kappa-webapp, probably not relevant else. Previously used by deprecated kappa-server4.1.3LGPL-3.0-onlyUsed by 0 other packages13 Sep 2024
-
Command line interfaces of the Kappa tool suite. Use this package if you want the CLI kappa tools4.1.3LGPL-3.0-onlyUsed by 0 other packages13 Sep 2024
-
Public internals of the Kappa tool suite. Use this package to use kappa as a lib4.1.3LGPL-3.0-onlyUsed by 2 other packages13 Sep 2024
-
kappa-server
No documentation
HTTP server delivering the Kappa tool suite capabilities4.1.0LGPL-3.0-onlyUsed by 0 other packages17 Sep 2020