dinosaure/docteur dinosaure/docteur

  • Stars
    star
    25
  • Rank 957,325 (Top 19 %)
  • Language
    OCaml
  • License
    MIT License
  • Created over 3 years ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dinosaure/docteur
github

dinosaure

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An opiniated file-system for MirageOS

More Repositories

1

esperanto

build-once run-anywhere OCaml programs
C
134
star
2

bob

A peer-to-peer file-transfer tool in OCaml
OCaml
134
star
3

pasteur

Paste-eur as unikernel
OCaml
65
star
4

gilbraltar

MirageOS on RPi4
C
58
star
5

art

Adaptive Radix Tree in OCaml
OCaml
48
star
6

paf-le-chien

Port of HTTP/AF & H2 with Mirage and mimic
OCaml
31
star
7

hxd

J'ai plus mal à la tête maintenant
OCaml
27
star
8

multipart_form

According an other RFC2388...
OCaml
25
star
9

cri

IRC protocol in OCaml
OCaml
25
star
10

carton

Implementation of the PACK file (Git) in OCaml
OCaml
21
star
11

mimic

A dynamic way to instantiate an OCaml flow
OCaml
18
star
12

tuyau

Should be the next conduit ... or not
OCaml
17
star
13

spoke

SPAKE2+EE implementation in OCaml
C
16
star
14

facteur

Send a mail in OCaml
OCaml
15
star
15

blaze

OCaml
15
star
16

dsh

A functionnal programming language
OCaml
15
star
17

contruno

A TLS termination proxy as a MirageOS
OCaml
13
star
18

minifiber

Parallel computation in OCaml - multicore for really poor people
OCaml
12
star
19

dinoscheme

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

sirodepac

Pack file encoder/decoder in OCaml
OCaml
11
star
21

tarides-workshop

C
8
star
22

demilekarantuite

2048 in OCaml
OCaml
8
star
23

z

DON'T USE IT
C
7
star
24

buffet

OCaml
7
star
25

sage

Sage and Agnostic I/O
OCaml
7
star
26

usine

Benchmarking tool for OcsigenServer and other in OCaml
OCaml
6
star
27

radis

« Un énorme radis. »
OCaml
6
star
28

ocaml-maildir

OCaml
6
star
29

ocaml-dmarc

OCaml
5
star
30

blogger

OCaml
5
star
31

rainbow

Red-black tree implementation in C with OCaml
OCaml
5
star
32

overlap

Bigarray.overlap as a library
OCaml
5
star
33

prettym

A simple bounded encoder constraints by columns in OCaml
OCaml
5
star
34

unstrctrd

OCaml
4
star
35

deadaf

Shell
4
star
36

caravan

Fixup BSS and inject new section into ELF binary
OCaml
4
star
37

ehouais

EWAH in OCaml (PoC)
HTML
3
star
38

gas-eqaf

Abstract interpretation of GAS assembler for eqaf project
OCaml
3
star
39

rev-list

git rev-list in OCaml
OCaml
3
star
40

mirage-os-shinimy

OCaml
2
star
41

dcpr-inv

Inverted stubs of decompress (OCaml to C)
Makefile
2
star
42

uuuui

Universal Unifier to Unicode Un OCaml (Importation tool)
OCaml
2
star
43

ada-language-19-05-2023

OCaml
2
star
44

not-so-smart

Implementation of the Git protocol
OCaml
2
star
45

conduit-dev

2
star
46

chamonix

Chamo, Chamoni, Chamonix
OCaml
1
star
47

ogaml

Jeu vidéo en OCaml et ocamlsdl
OCaml
1
star
48

lavoisier

lol, you should be lost ...
OCaml
1
star
49

mirage-dune

The smallest opam repository to have MirageOS with dune
Shell
1
star
50

short-hash

HTML
1
star
51

mirage.irc.libera.chat

logs on #[email protected]
1
star
52

-

Coq in my dream
Coq
1
star
53

din.osau.re

Site développé avec les technologies Ruby
Ruby
1
star
54

blog.osau.re

Le blog d'un Dinosaure
CSS
1
star
55

tuyau-example

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

mirage-entropy-nocrypto

Functorized entropy engine for ocaml-nocrypto
OCaml
1
star
57

blog.x25519.net

HTML
1
star
58

ULC

Untyped Lambda-Calculus in OCaml
OCaml
1
star
59

mirage-nolink

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