Kappa-Dev/KappaTools
Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
OCamlLGPL-3.0
Watchers
- aznmonkeySammamish, WA
- bgyoriNortheastern University
- eemailme
- feretINRIA
- hmedinaBoston, MA
- icristescuTarides
- jhcloos
- jkrivineCNRS
- jonathan-laurentCarnegie Mellon University
- majorseitanblockfreie.org
- mcencerUniversity of Illinois at Urbana-Champaign
- montebrownSavvy Labs
- pirboParis
- rhzSantiago, Chile
- thierry-martinez
- trevorclancy
- trycatcher
- vd1CNRS, ENS