Lucas Pluvinage (TheLortex)

TheLortex

Geek Repo

Company:École Normale Supérieure

Home Page:http://www.lortex.org

Twitter:@TheLortex

Github PK Tool:Github PK Tool


Organizations
dune-universe
mirage
mjc-ermont
ocamllabs
overflowgames
well-typed-lightbulbs

Lucas Pluvinage's repositories

eio-solo5

ah yes, effect handlers in unikernels

Language:OCamlStargazers:13Issues:1Issues:0

aocaml

AoC in OCaml, for maximum typing pleasure

Language:OCamlStargazers:6Issues:2Issues:0

networking-experiments

IP networking using effects

Language:OCamlStargazers:4Issues:2Issues:0
Language:DartStargazers:3Issues:1Issues:0

ocaml-perf

bindings to perf system call

Language:OCamlStargazers:2Issues:1Issues:0

albatross

Albatross: orchestrate and manage MirageOS unikernels with Solo5

Language:OCamlLicense:ISCStargazers:0Issues:0Issues:0

arp

Address resolution protocol (ARP) implementation in OCaml targeting MirageOS

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0

asciiscript

asciiscript: create asciicasts without your fingers getting in the way

Language:GoLicense:MITStargazers:0Issues:0Issues:0

backtrace-rs

Backtraces in Rust

License:NOASSERTIONStargazers:0Issues:0Issues:0

custom-events-opam-repository

An overlay repository with custom events

Stargazers:0Issues:1Issues:0

dream

Tidy, feature-complete Web framework

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

eio

Effects-based direct-style IO for multicore OCaml

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0

ethernet

Ethernet (IEEE 802.3) layer implementation for MirageOS in OCaml

Language:OCamlLicense:ISCStargazers:0Issues:1Issues:0

gluten

Reusable runtime library for network protocols

Language:OCamlLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

meio

Watch running Eio programs

Language:OCamlStargazers:0Issues:0Issues:0

mirage-ci

Ocurrent-based CI for MirageOS

Language:OCamlStargazers:0Issues:1Issues:0

mirage-crypto

Cryptographic primitives for MirageOS

Language:CLicense:ISCStargazers:0Issues:1Issues:0

mirage-tcpip

TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.

Language:OCamlLicense:ISCStargazers:0Issues:1Issues:0

notty

Declarative terminal graphics for OCaml

Language:OCamlLicense:ISCStargazers:0Issues:0Issues:0

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:2Issues:0

ocurrent

Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)

Language:OCamlLicense:Apache-2.0Stargazers:0Issues:1Issues:0

opam-overlays

An opam remote with the various Dune modified repositories in this org

Language:ShellStargazers:0Issues:1Issues:0

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

Language:ShellLicense:CC0-1.0Stargazers:0Issues:2Issues:0
Language:RustStargazers:0Issues:2Issues:0
Language:OCamlLicense:ISCStargazers:0Issues:0Issues:0

rust-sasl

Cyrus SASL bindings for Rust

Language:CLicense:Apache-2.0Stargazers:0Issues:0Issues:0

TheLortex.github.io

n o t   a   m e m e   p a g e

Language:TypeScriptStargazers:0Issues:1Issues:0

tonic

A native gRPC client & server implementation with async/await support.

Language:RustLicense:MITStargazers:0Issues:0Issues:0

uniffi-rs

a multi-language bindings generator for rust

License:MPL-2.0Stargazers:0Issues:0Issues:0

variorum

Vendor-neutral library for exposing power and performance features across diverse architectures

Language:C++License:MITStargazers:0Issues:0Issues:0