Discover @dinosaure Open Source projects

Calascibetta Romain (@dinosaure)

dinosaure

Stars
886
Global Rank 34,423 (Top 2 %)
Followers 293
Following 136
Registered over 14 years ago
Most used languages

OCaml
75.9 %

C
8.6 %

HTML
5.2 %

Shell
3.4 %

CSS
1.7 %

Makefile 1.7 %

Ruby
1.7 %

Coq 1.7 %

esperanto

build-once run-anywhere OCaml programs

bob

A peer-to-peer file-transfer tool in OCaml

pasteur

Paste-eur as unikernel

gilbraltar

MirageOS on RPi4

art

Adaptive Radix Tree in OCaml

paf-le-chien

Port of HTTP/AF & H2 with Mirage and mimic

hxd

J'ai plus mal à la tête maintenant

docteur

An opiniated file-system for MirageOS

multipart_form

According an other RFC2388...

cri

IRC protocol in OCaml

carton

Implementation of the PACK file (Git) in OCaml

mimic

A dynamic way to instantiate an OCaml flow

tuyau

Should be the next conduit ... or not

spoke

SPAKE2+EE implementation in OCaml

facteur

Send a mail in OCaml

blaze

dsh

A functionnal programming language

contruno

A TLS termination proxy as a MirageOS

minifiber

Parallel computation in OCaml - multicore for really poor people

dinoscheme

Un langage de programmation inspiré de Scheme et d'OCaml (Compilateur + Machine Virtuelle)

sirodepac

Pack file encoder/decoder in OCaml

tarides-workshop

demilekarantuite

z

buffet

sage

Sage and Agnostic I/O

usine

Benchmarking tool for OcsigenServer and other in OCaml

radis

« Un énorme radis. »

ocaml-maildir

ocaml-dmarc

blogger

rainbow

Red-black tree implementation in C with OCaml

overlap

Bigarray.overlap as a library

prettym

A simple bounded encoder constraints by columns in OCaml

unstrctrd

deadaf

caravan

Fixup BSS and inject new section into ELF binary

ehouais

EWAH in OCaml (PoC)

gas-eqaf

Abstract interpretation of GAS assembler for eqaf project

rev-list

git rev-list in OCaml

mirage-os-shinimy

dcpr-inv

Inverted stubs of decompress (OCaml to C)

uuuui

Universal Unifier to Unicode Un OCaml (Importation tool)

ada-language-19-05-2023

not-so-smart

Implementation of the Git protocol

conduit-dev

chamonix

Chamo, Chamoni, Chamonix

ogaml

Jeu vidéo en OCaml et ocamlsdl

lavoisier

lol, you should be lost ...

mirage-dune

The smallest opam repository to have MirageOS with dune

short-hash

mirage.irc.libera.chat

logs on #[email protected]

-

Coq in my dream

din.osau.re

Site développé avec les technologies Ruby

blog.osau.re

Le blog d'un Dinosaure

tuyau-example

A simple example to download an HTML page and be free to use TLS or not when it's available.

mirage-entropy-nocrypto

Functorized entropy engine for ocaml-nocrypto

blog.x25519.net

ULC

Untyped Lambda-Calculus in OCaml

mirage-nolink

Which library I need to compile my unikernel? Where is nocrypto's Native module?