Hyperlexia

Embedded real-time safety-critical SW, embedded Linux, OS kernel and hypervisor development, deploying ML models on embedded systems, programming languages and compilers development with LLVM, MLIR.

Home Research Publications Talks About Search

Probabilistic Functional Programs

February 23, 2017

An example of probabilistic functional program.
Read More

Variable-length Arguments in OCaml

February 6, 2017

Variable-length arguments in OCaml with the concept of folding.
Read More

B-Tree

January 9, 2017

B-tree implementation in OCaml.
Read More

Red-Black Tree

January 2, 2017

Red-black tree implementation in OCaml.
Read More

Heap-Sort Algorithm

December 30, 2016

Heap-sort algorithm implementation in OCaml.
Read More

Binary Heap

December 1, 2016

Heap implementation in OCaml.
Read More
« Prev 1 2 3 4 5 6 7 8 Next »