Owner

dinosaure

16 indexed repositories · View on GitHub

esperanto
build-once run-anywhere OCaml programs

C · 145 stars
bob
A peer-to-peer file-transfer tool in OCaml

OCaml · 143 stars
pasteur
Paste-eur as unikernel

OCaml · 75 stars
gilbraltar
MirageOS on RPi4

C · 64 stars
art
Adaptive Radix Tree in OCaml

HTML · 52 stars
paf-le-chien
Port of HTTP/AF & H2 with Mirage and mimic

OCaml · 30 stars
hxd
J'ai plus mal à la tête maintenant

OCaml · 28 stars
multipart_form
According an other RFC2388...

OCaml · 27 stars
docteur
An opiniated file-system for MirageOS

OCaml · 26 stars
cri
IRC protocol in OCaml

OCaml · 24 stars
immuable
A simple unikernel to serve files via HTTP in full OCaml

OCaml · 16 stars
contruno
A TLS termination proxy as a MirageOS

OCaml · 12 stars
buffet

OCaml · 6 stars
blogger

OCaml · 5 stars
caravan
Fixup BSS and inject new section into ELF binary

OCaml · 4 stars
unstrctrd

OCaml · 4 stars

Open All

This project does not work anymore and we should start to look into `ld` to provide something more stable that what we have Open

dinosaure/caravan#3 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
FIx the CI Open

dinosaure/gilbraltar#1 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Fill the gap between MirageOS and Gilbraltar Open

dinosaure/gilbraltar#2 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
GPIO Open

dinosaure/gilbraltar#3 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
multiple CPUs? Open

dinosaure/gilbraltar#5 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Delete the `kernel_old=1` option from the `config.txt` Open

dinosaure/gilbraltar#22 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Failing to run with qemu Open

dinosaure/gilbraltar#24 · 7 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Handle Net Split Open

dinosaure/cri#1 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
API questions: decode and encode? Open

dinosaure/unstrctrd#4 · 4 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Use `ocamllex -ml` instead of the runtime lexer Open

dinosaure/unstrctrd#8 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Be able to upgrade the connection to websocket Open

dinosaure/paf-le-chien#23 · 0 comments · 3 reactions · 0 assignees · Indexed Sep 15, 2026
Talk about interface Open

dinosaure/buffet#1 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Feature request] Avoid interruptions of the HTTP & HTTPS services when renewing the letsencrypt certificate Open

dinosaure/paf-le-chien#76 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
HTTP/2 seems to take 25% more time to reply than HTTP/1.1 Open

dinosaure/paf-le-chien#79 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Benign(?) error logging Open

dinosaure/paf-le-chien#99 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Delete the `paf-cohttp` package Open

dinosaure/paf-le-chien#105 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Redirect HTTP to HTTPS Open

dinosaure/contruno#13 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
`contruno.add` with an already existed certificate does not upgrade it. Open

dinosaure/contruno#18 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
We probably have some errors about the `h2` support. Open

dinosaure/contruno#19 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Asking a first certificate works but a second does not work Open

dinosaure/contruno#22 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add the `list` command to look up about our certificates Open

dinosaure/contruno#27 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Multiplex bob via UDP and use local network instead of relay Open

enhancement

dinosaure/bob#2 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Ensure that `bob.com` works on NetBSD and OpenBSD Open

good first issue

dinosaure/bob#10 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Be able to quit with `^D` when `bob` asks a password Open

invalid

dinosaure/bob#12 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 15, 2026
Feature request: send multiple files by passing several arguments Open

dinosaure/bob#16 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Be able to use TLS for the SPAKE2+EE handshake Open

enhancement

dinosaure/bob#23 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Incompatibility between `torsocks` and Cosmopolitan Open

enhancement

dinosaure/bob#24 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Windows Server (?): `Mtime_clock: clock_gettime () failed` Open

bug

dinosaure/bob#32 · 4 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
`bob_dns` should also be able to do UDP requests Open

enhancement

dinosaure/bob#39 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Be able to resume a transfer Open

dinosaure/bob#41 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Start to package bob for Debian (apt) and Archlinux (pacman) (and FreeBSD?) Open

enhancement good first issue

dinosaure/bob#56 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
`Fiber.pick` does not cancel the other task Open

invalid

dinosaure/bob#57 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
bob recv does not work on Windows in Cygwin Terminal Open

dinosaure/bob#66 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
The name of files coming from Windows get mangled Open

dinosaure/bob#67 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
`ENOENT` when `stat`-ing a file on Windows Open

dinosaure/bob#68 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Cannot download executable Open

dinosaure/bob#73 · 3 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
Actually we need to test when we pass a directory Open

dinosaure/bob#78 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Is it cross-platform or restricted to x86/arm? Open

dinosaure/bob#79 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Unix & Xen back-end Open

dinosaure/docteur#1 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Be able to functorize `docteur` over a `Mirage_block.S` Open

dinosaure/docteur#27 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Issues with <title> Open

dinosaure/blogger#3 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add tests about base64 transfer encoding Open

dinosaure/multipart_form#6 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Handle date given by Content-Disposition Open

dinosaure/multipart_form#7 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
`conf-binutils` should works anywhere (including *BSD) Open

dinosaure/esperanto#7 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Support ocaml 5.0.0 Open

dinosaure/esperanto#31 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Remove `fmt` dependency Open

good first issue

dinosaure/art#60 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
`dune` does not find `hxd` with `implicit_transitive_deps` Open

dinosaure/hxd#5 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
new paste with both raw and encrypted options shows the non-decrypted raw file Open

dinosaure/pasteur#14 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
automatically redirect /dir/+ to /dir/ Open

dinosaure/immuable#5 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026

dinosaure

Get new issues in your inbox