dinosaure/art dinosaure/art

  • Stars
    star
    47
  • Rank 587,561 (Top 12 %)
  • Language
    OCaml
  • License
    MIT License
  • Created over 4 years ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dinosaure/art
github

dinosaure

Reviews

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

Repository Details

Adaptive Radix Tree in OCaml

More Repositories

1

bob

A peer-to-peer file-transfer tool in OCaml
OCaml
124
star
2

esperanto

build-once run-anywhere OCaml programs
C
114
star
3

pasteur

Paste-eur as unikernel
OCaml
65
star
4

gilbraltar

MirageOS on RPi4
C
57
star
5

paf-le-chien

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

hxd

J'ai plus mal à la tête maintenant
OCaml
25
star
7

cri

IRC protocol in OCaml
OCaml
25
star
8

multipart_form

According an other RFC2388...
OCaml
23
star
9

docteur

An opiniated file-system for MirageOS
OCaml
22
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

facteur

Send a mail in OCaml
OCaml
15
star
14

dsh

A functionnal programming language
OCaml
15
star
15

blaze

OCaml
14
star
16

contruno

A TLS termination proxy as a MirageOS
OCaml
13
star
17

minifiber

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

spoke

SPAKE2+EE implementation in OCaml
C
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

rainbow

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

overlap

Bigarray.overlap as a library
OCaml
5
star
32

prettym

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

unstrctrd

OCaml
4
star
34

deadaf

Shell
4
star
35

caravan

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

ehouais

EWAH in OCaml (PoC)
HTML
3
star
37

gas-eqaf

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

rev-list

git rev-list in OCaml
OCaml
3
star
39

mirage-os-shinimy

OCaml
2
star
40

dcpr-inv

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

uuuui

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

not-so-smart

Implementation of the Git protocol
OCaml
2
star
43

conduit-dev

2
star
44

chamonix

Chamo, Chamoni, Chamonix
OCaml
1
star
45

ogaml

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

lavoisier

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

mirage-dune

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

short-hash

HTML
1
star
49

mirage.irc.libera.chat

logs on #[email protected]
1
star
50

-

Coq in my dream
Coq
1
star
51

din.osau.re

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

blog.osau.re

Le blog d'un Dinosaure
CSS
1
star
53

ada-language-19-05-2023

OCaml
1
star
54

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
55

mirage-entropy-nocrypto

Functorized entropy engine for ocaml-nocrypto
OCaml
1
star
56

blog.x25519.net

HTML
1
star
57

ULC

Untyped Lambda-Calculus in OCaml
OCaml
1
star
58

mirage-nolink

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