SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Repository Index
47,133 repositories indexed
1–6 of 6 · Most stars
Ada Web Application - Framework to build high performance secure web applications
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
Ada Security - OAuth 2.0 client and server framework to secure web applications
- oauth
- openid
- authentication
- permissions
A component to aid in writing shell-like applications in Ada.
Extensions to the Tiny Lisp language for embedded applications
- ada
- lisp
- lisp-dialect
- lisp-interpreter