Pavel Argentov's repositories
mirage-presentation-server
Simple MirageOS http server for exported static html/js presentations
boinc-controller
BOINC swarm controller
boinc_docker
BOINC client dockerized: single-host dedicated instance created with docker/machine/compose
worker_examples
OCaml concurrent/parallel IO workers examples
ag_ocaml_intro
OCaml introduction lecture (slides)
layerd-arch-style-with-dry-example
Example of layered architecture style builded with dry-rb libs
opam_docker
My OPAM dockerfiles
core_kernel
Jane Street's standard library overlay (kernel)
dotenv-linter
⚡️Lightning-fast linter for .env files. Written in Rust 🦀
image-builder-rpi64
Build SD card image for Raspberry Pi 3 64bit
mirage-hello
MirageOS/HelloWorld
mirage-presentation-rpi
What is that Unikernel thing and how to build one on Raspberry Pi
ocaml-football
A training exercise in OCaml
rpi64-kernel
Build a Linux kernel for Raspberry Pi 3 in 64bit
rpiterm_rust
Raspberry PI thermometer: Rust version