sttaft

AdaCoreLexington, MA, USA

Pinned Repositories

User-Community-Input
Ada User Community Input Working Group - Github Mirror Prototype
28 26 1141
ada-spark-rfcs
Platform to submit RFCs for the Ada & SPARK languages
64 58 3328
learn
Sources for learn.adacore.com
Language:Ada93 30 15038
spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Language:Ada248 47 3633
html_feedback
Supports a student project developing a UI for feedback on arXiv articles rendered as html.
18 5 2.7k3
parasail
Parallel Specification and Implementation Language
Language:Ada23 9 01
ada-spark-rfcs
Platform to submit RFCs for the Ada & SPARK languages
1 0 00
antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
Language:Java0 1 00

sttaft's Repositories

sttaft/ada-spark-rfcs
Platform to submit RFCs for the Ada & SPARK languages
1 0 00
sttaft/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
Language:Java0 1 00