Discover @klartext Open Source projects

@klartext

klartext

Stars
52
Global Rank 331,951 (Top 12 %)
Followers 8
Registered almost 12 years ago
Most used languages

Standard ML 33.3 %

HTML
33.3 %

OCaml
33.3 %
Location 🇩🇪 Germany
Country Total Rank 15,252
Country Ranking

Standard ML 4

OCaml
16

HTML
2,315

any-dl

any-dl: generic mediathek-downloader ("generic" means, you also can call it "scrapertool")

lablgtk2-ocaml-Tutorial

LablGtk2-Ocaml-Tutorial, initially written by SooHyoung Oh, made available here

mg-book-sml-sources

SML sources of the book "Morphogrammatik: Eine Einführung in die Theorie der logischen Form"