• Stars
    star
    2
  • Language
  • Created almost 8 years ago
  • Updated over 6 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

jackline

minimalistic secure XMPP client in OCaml
OCaml
249
star
2

tlstunnel-lwt

TLS tunnel -- an alternative to stud / stunnel
OCaml
82
star
3

gmap

heterogenous Map over a GADT
OCaml
41
star
4

ocaml-otr

Off-the-record (OTR) messaging protocol, purely in OCaml
OCaml
40
star
5

conex

establish trust in community repositories, cryptographically signed by library authors
OCaml
34
star
6

patch

line based patch, input is a unified diff
OCaml
18
star
7

duration

Duration
OCaml
16
star
8

telnet

telnet protocol in OCaml
OCaml
15
star
9

tlsclient

TLS client program
OCaml
12
star
10

ocaml-hkdf

HMAC-based Extract-and-Expand Key Derivation Function (HKDF) (RFC 5869)
OCaml
11
star
11

usane

Unsigned integers for OCaml
OCaml
10
star
12

domain-name

RFC 1035 Internet domain names
OCaml
10
star
13

logs-syslog

Emit Logs via syslog
OCaml
10
star
14

trace-checker

OCaml
8
star
15

statmemprof-mirage

Statistical memory profiling for MirageOS
OCaml
7
star
16

ns.nqsb.io

NQSB.IO name server
OCaml
6
star
17

bibtex-kindle

Some elisp code which uses bibtex to export pdfs to kindle (metadata and collections)
Emacs Lisp
6
star
18

mirageos-bobkonf2019-tutorial

MirageOS unikernels used for bobkonf 2019 tutorial
OCaml
6
star
19

mirage-timestamp-reporter

A log reporter which prefixes each message with a timestamp
OCaml
5
star
20

randomconv

Convert random byte vectors to numbers
OCaml
4
star
21

module-size

Figuring out binary sizes of OCaml modules in a binary
OCaml
4
star
22

precis

RFC 8264 in OCaml
OCaml
4
star
23

visualization-middleware

Open Dylan intermediate representation live visualization
JavaScript
3
star
24

graph.js

JavaScript graph structure: common operations, placing and drawing on canvas
JavaScript
2
star
25

wireguard-ocaml

wireguard but this time it's in ocaml
OCaml
2
star
26

jackline-opam

minimal fully signed opam repository for jackline
2
star
27

DependencyBrowser

java side
Java
1
star
28

xmpp-opam

OPAM repository for xmpp development
1
star
29

conex-paper

TeX
1
star
30

KopitiamAspects

weaving of eclipse Java parser to accept custom JDT syntax for proof script
Java
1
star
31

typed-opendylan-dylan

Dylan library for typed opendylan branch
Dylan
1
star
32

KopitiamBoilerplate

Kopitiam feature and update site, as needed by eclipse
1
star
33

EclipseAspect

some tests of eclipse aspects
Java
1
star
34

FlowGraphVisualization

flow graph visualization, java part
Java
1
star
35

functoria-playground

OCaml
1
star
36

dependency-browser

Interactively browse dependencies
1
star
37

opam-check-checksum

OCaml
1
star