OCaml logo
5 Search Results
KaSim
Software suite for the Kappa language
Jean Krivine Jérôme Feret Pierre Boutillier Ioana Cristescu Mutaamba Maasha Lý Kim Quyên
4.0.0
LGPL-3.0-only
Used by 0 other packages
kappa-agents
Backends for an interactive use of the Kappa tool suite
Jean Krivine Jérôme Feret Pierre Boutillier Ioana Cristescu Mutaamba Maasha Lý Kim Quyên
4.1.0
LGPL-3.0-only
Used by 1 other packages
kappa-binaries
Command line interfaces of the Kappa tool suite
Jean Krivine Jérôme Feret Pierre Boutillier Ioana Cristescu Mutaamba Maasha Lý Kim Quyên
4.1.0
LGPL-3.0-only
Used by 1 other packages
kappa-library
Public internals of the Kappa tool suite
Jean Krivine Jérôme Feret Pierre Boutillier Ioana Cristescu Mutaamba Maasha Lý Kim Quyên
4.1.0
LGPL-3.0-only
Used by 2 other packages
kappa-server
HTTP server delivering the Kappa tool suite capabilities
Jean Krivine Jérôme Feret Pierre Boutillier Ioana Cristescu Mutaamba Maasha Lý Kim Quyên
4.1.0
LGPL-3.0-only
Used by 0 other packages