Hannes Mehnert (@hannesm)
github

hannesm

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    654
  • Global Rank 45,616 (Top 2 %)
  • Followers 391
  • Following 90
  • Registered over 14 years ago
  • Most used languages
    OCaml
         72.7 %
    Java
         12.1 %
    JavaScript
         6.1 %
    Emacs Lisp
         3.0 %
    Dylan     3.0 %
    TeX
         3.0 %

Top 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

testrepo

2
star
26

wireguard-ocaml

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

jackline-opam

minimal fully signed opam repository for jackline
2
star
28

DependencyBrowser

java side
Java
1
star
29

xmpp-opam

OPAM repository for xmpp development
1
star
30

conex-paper

TeX
1
star
31

KopitiamAspects

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

typed-opendylan-dylan

Dylan library for typed opendylan branch
Dylan
1
star
33

KopitiamBoilerplate

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

EclipseAspect

some tests of eclipse aspects
Java
1
star
35

FlowGraphVisualization

flow graph visualization, java part
Java
1
star
36

functoria-playground

OCaml
1
star
37

dependency-browser

Interactively browse dependencies
1
star
38

opam-check-checksum

OCaml
1
star