xefのブックマーク - はてなブックマーク

Sub-single-instruction Peano to machine integer conversion

xef 2023/02/08

Rust

リンク

The Growth of the OCaml Distribution

xef 2023/01/18

OCaml

リンク

Generating static and portable executables with OCaml

xef 2023/01/06

OCaml

リンク

Let's Encrypt Wildcard Certificates Made Easy with Agnos

It is with great pleasure that we announce the first beta release of Agnos. A former personal project of our new recruit, Arthur, Agnos development is now hosted at and sponsored by OCamlPro's Rust division, Red Iron. TL;DR: If you are familiar with ACME providers like Let's Encrypt, DNS-01 and the challenges relating to wildcard certificates, simply know that Agnos touts itself as a single-binary

xef 2022/10/13

Rust
ACME

リンク

An in-depth Look at OCaml’s new “Best-fit” Garbage Collector Strategy

xef 2020/03/24

OCaml
GC

リンク

Oops

xef 2015/05/19

リンク

Oops

OCamlPro tackles complex design challenges (blockchains, Domain Specific Languages) notably with the use of formal methods. For that purpose, we promote the use of state-of-the-art programming languages like OCaml and Rust.

xef 2014/07/17

OCaml

リンク

Oops

OCamlPro tackles complex design challenges (blockchains, Domain Specific Languages) notably with the use of formal methods. For that purpose, we promote the use of state-of-the-art programming languages like OCaml and Rust.

xef 2014/07/16

リンク

Oops

xef 2014/05/21

OCaml

リンク

Oops

OCamlPro tackles complex design challenges (blockchains, Domain Specific Languages) notably with the use of formal methods. For that purpose, we promote the use of state-of-the-art programming languages like OCaml and Rust.

xef 2014/04/03

OCaml

リンク

Oops

OCamlPro tackles complex design challenges (blockchains, Domain Specific Languages) notably with the use of formal methods. For that purpose, we promote the use of state-of-the-art programming languages like OCaml and Rust.

xef 2013/05/25

リンク

Expert Solutions for Complex Challenges

Expert Solutions for Complex Challenges Our accomplished team of Ph.D. holders boasts world-class expertise in programming language design and advanced architectures. Consulting and development Well-specified architecture and efficient implementation: we’ll do it for you!