Giters

mjambon / atdgen

Now part of the atd repo

Home Page:https://github.com/mjambon/atd

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

About

Now part of the atd repo

https://github.com/mjambon/atd

License:Other

Languages

Language:OCaml 98.4%Language:Shell 1.5%Language:Makefile 0.1%