Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by TheLortex
A curated list of projects in awesome lists by TheLortex .
https://github.com/thelortex/protocaml
Protohackers is a server programming challenge. Here is an implementation using OCaml 5 and the effects-based IO library Eio
Last synced: 27 Oct 2024
https://github.com/thelortex/ocaml-maelstrom
Client library for Maelstrom and solutions to the Fly.io distributed systems challenges - gossip glomers
Last synced: 27 Oct 2024
https://github.com/thelortex/eio-solo5
ah yes, effect handlers in unikernels
Last synced: 27 Oct 2024
https://github.com/thelortex/current_email
An OCurrent plugin to automatically send emails
Last synced: 27 Oct 2024
https://github.com/thelortex/amogu
Alexander Mongus is a state-of-the-art filter to sneak amogus characters in pictures
Last synced: 27 Oct 2024
https://github.com/thelortex/githereum
Githereum is a proof of existence blockchain based on a novel LGTM consensus algorithm
Last synced: 19 Dec 2024
https://github.com/thelortex/docs2web
A web server to serve docs. Highly experimental !
Last synced: 27 Oct 2024
https://github.com/thelortex/aocaml
AoC in OCaml, for maximum typing pleasure
Last synced: 27 Oct 2024
https://github.com/thelortex/unikraft-ocaml
The OCaml 5 runtime (libasmrun.a) built for unikraft
Last synced: 19 Dec 2024
https://github.com/thelortex/unikraft-ocaml-example
A bare-unikraft OCaml 5 application
Last synced: 27 Oct 2024
https://github.com/thelortex/opam-ezport
Automatic porting tool for opam packages that rely on jbuilder
Last synced: 27 Oct 2024
https://github.com/thelortex/mirage-websocket
Websocket layer on top of mirage-http (experimental)
Last synced: 27 Oct 2024
https://github.com/thelortex/networking-experiments
IP networking using effects
Last synced: 27 Oct 2024
https://github.com/thelortex/metewow
MétéWow est une interface web de données météorologiques
Last synced: 19 Dec 2024
https://github.com/thelortex/esp32-report
Report and presentation for ICFP on my ESP32 work
Last synced: 19 Dec 2024
https://github.com/thelortex/mean-field-inference
Summer work on mean-field inference at EPFL CVLab
Last synced: 19 Dec 2024
https://github.com/thelortex/nocrypto-mirage
Mirage implementations for nocrypto
Last synced: 19 Dec 2024
https://github.com/thelortex/asciiparey
ASCIIparey is an experimental minimalistic scrapbook
Last synced: 19 Dec 2024
https://github.com/thelortex/ecopy
Logiciel de transfert de fichier libre et open source.
Last synced: 19 Dec 2024
https://github.com/thelortex/projetproco
Projet système digital de L3: tuto simuler un circuit
Last synced: 19 Dec 2024
https://github.com/thelortex/pokman
Legagy repository of a little game project on Android
Last synced: 19 Dec 2024
https://github.com/thelortex/cubiroulette
Un petit logiciel qui simule le comportement d'une roulette pour choisir des noms au hasard
Last synced: 19 Dec 2024
https://github.com/thelortex/sys-dig
Projet système digital de L3: tuto faire un processeur
Last synced: 19 Dec 2024
https://github.com/thelortex/projetcompil
Projet de compilation de L3: tuto compiler de l'Ada simplifié
Last synced: 19 Dec 2024
https://github.com/thelortex/ocaml-freestanding-nolibc
Libc and libm implementations based on solo5
Last synced: 19 Dec 2024
https://github.com/thelortex/custom-events-opam-repository
An overlay repository with custom events
Last synced: 19 Dec 2024