mirror of
https://github.com/AdaCore/code_examples_server.git
synced 2026-02-12 12:45:18 -08:00
aa66d5381d84d311b0bc1f1cf635d8e7ab01e325
langserv
prototype server for creating interactive "try SPARK / try Ada" webpages
Description
Languages
Python
91.7%
HTML
4.5%
Makefile
1.3%
Ada
0.9%
Shell
0.9%
Other
0.7%