• Packages
  • Themes
  • Documentation
  • Blog
  • Discuss
Sign in

Search Atom packages.

language-whyml

WhyML language support
  • #why
  • #whyml
  • #functional
  • #verification
franekp
913
0

test

Run tests using test providers.
  • #test
  • #tester
  • #spec
  • #unit
  • #integration
atom-community
1,521
7

language-fudomo

Language support for a model transformation approach based on functional decomposition
  • #model transformation
  • #code generation
  • #functional decomposition
lassy-fmde
237
0
  • Terms of Use
  • Privacy
  • Code of Conduct
  • Releases
  • FAQ
  • Contact
with by