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

Permutation

November 22, 2016

Permutation implementation in OCaml.
Read More

Dutch Partition

October 30, 2016

Dutch partition problem implementation in OCaml.
Read More

Paper at ESLsyn Conference

September 13, 2016

Paper at ESLsyn 2014.
Read More

IMO 2016

July 17, 2016

International mathematic Olympic 2016.
Read More

Synchronous Programming

July 11, 2016

Synchronous programming.
Read More

Reactive and Synchronous Reactive Programming

June 1, 2016

Reactive and synchronous reactive programming.
Read More
« Prev 1 2 3 4 5 6 7 Next »