Hyperlexia

Research interests are in embedded safety-critical systems and embedded Linux, development and deploying ML models on embedded systems, programming languages, compilers, and language-based security using infrastructures LLVM, MLIR.

Home Research Publications Talks About Search

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

Dynamic Permutation

November 27, 2016

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