Skip to content
/ sparkle-ssg Public
generated from hyperpolymath/template-repo

Formally verified static site generator in SPARK/Ada. Proven correctness through contract-based design.

License

View license
2 stars 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

hyperpolymath/sparkle-ssg

About

Formally verified static site generator in SPARK/Ada. Proven correctness through contract-based design.

Topics

static-site-generator spark ada formal-verification ssg poly-ssg hyperpolymath

Resources

Readme

License

View license

Code of conduct

Code of conduct

Contributing

Contributing

Security policy

Security policy
Activity

Stars

2 stars

Watchers

0 watching

Forks

0 forks
Report repository

Releases

No releases published

Sponsor this project

Packages

No packages published

Contributors 2

  •  
  •  

Languages