Giters
ada-lang-io

ada-lang-io

Geek Repo

Open source management of Ada language resources

Home Page:ada-lang.io

Github PK Tool:Github PK Tool

ada-lang-io's repositories

ada-lang-io

An Open Source Community site for Ada

Language:TypeScriptLicense:Apache-2.0Stargazers:77Issues:9Issues:49

ada-auth

A mirror of Ada Reference Manual sources

Language:CartoCSSLicense:GPL-3.0Stargazers:3Issues:0Issues:0

ada-logo-editor

Static website that provides easy customization of the Ada horizon logo

License:CC0-1.0Stargazers:2Issues:5Issues:1

import-style-guide

Scripts to fetch Ada Quality and Style Guide wikibook

Language:AdaLicense:Apache-2.0Stargazers:2Issues:2Issues:2