• Stars
    star
    1
  • Language
    HTML
  • Created almost 4 years ago
  • Updated almost 4 years ago

Reviews

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

Repository Details

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

docteur

An opiniated file-system for MirageOS
OCaml
25
star
9

multipart_form

According an other RFC2388...
OCaml
25
star
10

cri

IRC protocol in OCaml
OCaml
25
star
11

carton

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

mimic

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

tuyau

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

spoke

SPAKE2+EE implementation in OCaml
C
16
star
15

facteur

Send a mail in OCaml
OCaml
15
star
16

blaze

OCaml
15
star
17

dsh

A functionnal programming language
OCaml
15
star
18

contruno

A TLS termination proxy as a MirageOS
OCaml
13
star
19

minifiber

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

dinoscheme

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

sirodepac

Pack file encoder/decoder in OCaml
OCaml
11
star
22

tarides-workshop

C
8
star
23

demilekarantuite

2048 in OCaml
OCaml
8
star
24

z

DON'T USE IT
C
7
star
25

buffet

OCaml
7
star
26

sage

Sage and Agnostic I/O
OCaml
7
star
27

usine

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

radis

« Un énorme radis. »
OCaml
6
star
29

ocaml-maildir

OCaml
6
star
30

ocaml-dmarc

OCaml
5
star
31

blogger

OCaml
5
star
32

rainbow

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

overlap

Bigarray.overlap as a library
OCaml
5
star
34

prettym

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

unstrctrd

OCaml
4
star
36

deadaf

Shell
4
star
37

caravan

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

ehouais

EWAH in OCaml (PoC)
HTML
3
star
39

gas-eqaf

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

rev-list

git rev-list in OCaml
OCaml
3
star
41

mirage-os-shinimy

OCaml
2
star
42

dcpr-inv

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

uuuui

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

ada-language-19-05-2023

OCaml
2
star
45

not-so-smart

Implementation of the Git protocol
OCaml
2
star
46

conduit-dev

2
star
47

chamonix

Chamo, Chamoni, Chamonix
OCaml
1
star
48

ogaml

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

lavoisier

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

mirage-dune

The smallest opam repository to have MirageOS with dune
Shell
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