 | AGDA.Editor interattivo gratuito e open source per il tuo Mac |
| Scarica ora | |
AGDA. Classifica e riepilogo
Annuncio pubblicitario
- Licenza:
- Freeware
- Prezzo:
- FREE
- Nome editore:
- Agda Team
- Sito web dell'editore:
- http://unit.aist.go.jp/cvs/Agda/
- Sistemi operativi:
- Mac OS X
- Dimensione del file:
- 7.8 MB
AGDA. Tag
AGDA. Descrizione
Editor interattivo interattivo gratuito e open source per il tuo Mac AGDA è un editor di prova interattiva o un assistente di prova. AGDA è un sistema per lo sviluppo e le prove in modo incrementale. Nota: AGDA è concesso in licenza e distribuita ai sensi della licenza MIT.
AGDA. Software correlato
Pila di subversion bitnami.
consente ai team di sviluppo del software distribuito a livello globale di una versione in modo efficiente e condividere il codice sorgente ...
15.5 MB
Ports Tree Explorer.
Un modo semplice per utilizzare / mantenere e installare programmi dall'albero dei tuoi porti ...
159 KB
Dumulasn1.
Programma dump ASN.1 gratuito in base all'utilità DumpAsn1 per scartare i certificati Uudecode ...
7 KB