GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ hannesm
5 open source projects by hannesm
[ Open user page on Github ]
1.
Jackline
minimalistic secure XMPP client in OCaml
✭ 236
ocaml
cli
terminal
xmpp
secure
2.
Tlstunnel Lwt
TLS tunnel -- an alternative to stud / stunnel
✭ 79
ocaml
tls
3.
ocaml-otr
Off-the-record (OTR) messaging protocol, purely in OCaml
✭ 39
ocaml
security
end-to-end
otr
4.
gmap
heterogenous Map over a GADT
✭ 40
ocaml
map
data-structure
gadt
heterogeneous
5.
conex
establish trust in community repositories, cryptographically signed by library authors
✭ 32
ocaml
package-manager
cryptography
opam
trust
conex
1-5
of
5
user projects