Karmaki

Grasse

Pinned Repositories

atd
Static types for JSON APIs
Language:OCaml316 12 19452
jsonschema2atd
Generate ATD types from a JSON schema / OpenAPI document
Language:Perl19 5 51
coq-dpdgraph
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
Language:Coq86 8 3627
ExerciceGitHub
Projet créé dans le cadre du cours OpenClassroom sur Git : http://fr.openclassrooms.com/informatique/cours/gerer-son-code-avec-git-et-github
0 1 00
t2t_math_ml
script to be used together with txt2tags in order to translate formulas to MathML in the generated web pages.
Language:Perl1 1 41
yq
Command-line YAML, XML, TOML processor - jq wrapper for YAML/XML/TOML documents
Language:Python2.6k 31 15783

Karmaki's Repositories

Karmaki/t2t_math_ml
script to be used together with txt2tags in order to translate formulas to MathML in the generated web pages.
Language:Perl1 1 41
Karmaki/ExerciceGitHub
Projet créé dans le cadre du cours OpenClassroom sur Git : http://fr.openclassrooms.com/informatique/cours/gerer-son-code-avec-git-et-github
0 1 00