thindil
- Karma
- 119
- Created
- January 1, 2019 (7y ago)
- Submissions
- 0
Open Source developer, interested in safe and secure programming.
Homepage: https://www.laeran.pl/
- Summary After Four Months with Ada (pyjarrett.github.io)
- Learning to Love a Rigid and Inflexible Language (devblog.blackberry.com)
- Doubling the Performance of SPARKNaCl (Again) (blog.adacore.com)
- Coding in Ada: Strings (IV) Unbounded to String (craftofcoding.wordpress.com)
- The Place for Misra C in Safe and Secure Programming – A Comparison with Spark (embeddedcomputing.com)