Pinned Repositories
PINT
WindOS
Experimental Raspberry Pi OS
Cookie-Logger
Le DataLogger officiel du projet Cookie
current_email
An OCurrent plugin to automatically send emails
eio-solo5
ah yes, effect handlers in unikernels
mean-field-inference
Summer work on mean-field inference at EPFL CVLab
ocaml-maelstrom
Client library for Maelstrom and solutions to the Fly.io distributed systems challenges - gossip glomers
protocaml
Protohackers is a server programming challenge. Here is an implementation using OCaml 5 and the effects-based IO library Eio
mirage-esp32-samples
Some sample unikernels that run on ESP32 devices.
ocaml-esp32
Native compiler backend for esp32
TheLortex's Repositories
TheLortex/eio-solo5
ah yes, effect handlers in unikernels
TheLortex/aocaml
AoC in OCaml, for maximum typing pleasure
TheLortex/networking-experiments
IP networking using effects
TheLortex/batonpixel
TheLortex/ocaml-perf
bindings to perf system call
TheLortex/arp
Address resolution protocol (ARP) implementation in OCaml targeting MirageOS
TheLortex/asciiscript
asciiscript: create asciicasts without your fingers getting in the way
TheLortex/backtrace-rs
Backtraces in Rust
TheLortex/custom-events-opam-repository
An overlay repository with custom events
TheLortex/dream
Tidy, feature-complete Web framework
TheLortex/eio
Effects-based direct-style IO for multicore OCaml
TheLortex/ethernet
Ethernet (IEEE 802.3) layer implementation for MirageOS in OCaml
TheLortex/gluten
Reusable runtime library for network protocols
TheLortex/issue-rust-analyzer-tests-bazel
Repo demonstrating how tests could be run from rust-analyzer / vscode in a rust/bazel project.
TheLortex/meio
Watch running Eio programs
TheLortex/mirage-ci
Ocurrent-based CI for MirageOS
TheLortex/mirage-crypto
Cryptographic primitives for MirageOS
TheLortex/mirage-tcpip
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
TheLortex/notty
Declarative terminal graphics for OCaml
TheLortex/ocaml
The core OCaml system: compilers, runtime system, base libraries
TheLortex/opam-overlays
An opam remote with the various Dune modified repositories in this org
TheLortex/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
TheLortex/physarum
TheLortex/rules_rust
Rust rules for Bazel
TheLortex/runtime_events_tools
TheLortex/rust-sasl
Cyrus SASL bindings for Rust
TheLortex/TheLortex.github.io
n o t a m e m e p a g e
TheLortex/tonic
A native gRPC client & server implementation with async/await support.
TheLortex/uniffi-rs
a multi-language bindings generator for rust
TheLortex/variorum
Vendor-neutral library for exposing power and performance features across diverse architectures