9月 2024
This dataset is the Version 2.0 of the F…
This dataset contains programs and proof…
6月 2024
Microsoft MicroCode is an icon-based pro…
6月 2021
Koka: a Functional Language with Effects…
11月 2020
This self-hosted service developed for A…
RESTler is the first stateful REST API f…
5月 2019
The Bosque programming language is an ex…
5月 2018
Z3 is a theorem prover from Microsoft Re…
フォロー:
このページを共有する:
