CakeML
About CakeML is a functional programming language and an ecosystem of proofs and tools built around the language. The ecosystem includes a proven-correct compiler that can bootstrap itself. The CakeML project consists of the following components, all of which are free software. Language definition. The CakeML language is based on a substantial subset of Standard ML. Its formal semantics is specifi
Manticore
The Manticore Project Manticore is a high-level parallel programming language aimed at general-purpose applications running on multi-core processors. Manticore supports parallelism at multiple levels: explicit concurrency and coarse-grain parallelism via CML-style constructs and fine-grain parallelism via various light-weight notations, such as parallel tuple expressions and NESL/Nepal-style paral
Alice
Saarland University Informatics Programming Systems Home People Papers Manual Download Contributions Contact Wiki Bugs Alice 1.4 has been released! Overview Alice ML is a functional programming language based on Standard ML, extended with rich support for concurrent, distributed, and constraint programming. Alice ML extends Standard ML with several new features: Futures: laziness and light-weight
YETI programming language
YETI Releases ... and the slime became the worm and the worm the serpent, the serpent became the yeti of the mountain forests and the yeti became man. Yeti is ML style functional programming language, that runs on the JVM. message = "Hello world"; println message; Library documentation: std, io, json, xml Read the tutorial (also available as PDF) Language reference manual (PDF) Source is available
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - combinatorylogic/mbase: Metaprogramming framework for .net
