Biapy Web Directory
Tag cloud
Picture wall
Daily
Search
RSS Feed
RSS Feed
Daily Feed
Weekly Feed
Monthly Feed
Filters
Links per page
20 links
50 links
100 links
Custom value
Filters
Untagged links
tags
search
CakeML
https://cakeml.org/
Sun Jan 1 12:17:07 2017
📧email
CakeML is a functional programming language with a proven-correct compiler and runtime system.
7327 links
.svg){kind=icon}
