ergl/ads-ml ergl/ads-ml

  • Stars
    star
    2
  • Language
    OCaml
  • License
    GNU Lesser Genera...
  • Created almost 8 years ago
  • Updated almost 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ergl/ads-ml
github

ergl

Reviews

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

Repository Details

ADS - Authenticated Data Structures for OCaml

More Repositories

1

crdt-ml

CRDTs - Conflict-Free Replicated Data Types for OCaml
OCaml
48
star
2

clojurebot

ClojureBot - A remote REPL inside Telegram
Clojure
13
star
3

sss_py

Basic Shamir's Secret Sharing
Python
8
star
4

pony-docset

Pony documentation as Dash docset
JavaScript
7
star
5

pony-protobuf

Pony implementation / compiler of Google protocol buffers
Pony
6
star
6

pipesock

Erlang TCP connection that offers batching and pipelining of messages
Erlang
5
star
7

pvc

Erlang
4
star
8

grb

Erlang
3
star
9

pvc_model

A quickcheck model of the pvc protocol
Erlang
2
star
10

antidote-evaluation

R
1
star
11

grb_evaluation

1
star
12

sss

Basic Shamir's Secret Sharing
Pony
1
star
13

pollen-site

Personal website source code
Perl
1
star
14

psqlite

Pony interface to SQLite
Pony
1
star
15

ec

C
1
star
16

jASM

Java-built pseudo-ASM emulator / debugger
Java
1
star
17

pvc_proto

Erlang
1
star