hannesm/mirage
Cloud programming platform
Developer Profile
hannesm
Discovered public repositories for hannesm in the GitHub catalog.
hannesm/mirage-tcpip
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes Ethernet, DHCP, ARP and TCP/IPv4 support.
hannesm/test
test for https://github.com/mirleft/ocaml-nocrypto/issues/47
hannesm/xmpp-opam
OPAM repository for xmpp development
hannesm/jackline
minimalistic secure XMPP client in OCaml
hannesm/ocaml-otr
Off-the-record (OTR) messaging protocol, purely in OCaml
hannesm/xmpp
OCaml based XMPP implementation
hannesm/curl
Curl is a tool and libcurl is a library for transferring data with URL syntax, supporting FTP, FTPS, HTTP, HTTPS, GOPHER, TFTP, SCP, SFTP, TELNET, DICT, LDAP, LDAPS, FILE, IMAP, SMTP, POP3, RTSP and RTMP. libcurl offers a myriad of powerful features
hannesm/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
hannesm/fetch
fetch from FreeBSD
hannesm/js-sequence-diagrams
Draws simple SVG sequence diagrams from textual representation of the diagram
hannesm/visualization-middleware
Open Dylan intermediate representation live visualization
hannesm/graph.js
JavaScript graph structure: common operations, placing and drawing on canvas
hannesm/KopitiamAspects
weaving of eclipse Java parser to accept custom JDT syntax for proof script
hannesm/EclipseAspect
some tests of eclipse aspects
hannesm/FlowGraphVisualization
flow graph visualization, java part
hannesm/typed-opendylan-dylan
Dylan library for typed opendylan branch
hannesm/bibtex-kindle
Some elisp code which uses bibtex to export pdfs to kindle (metadata and collections)
hannesm/KopitiamBoilerplate
Kopitiam feature and update site, as needed by eclipse
hannesm/opendylan
The Open Dylan compiler and IDE.
hannesm/DependencyBrowser
java side
hannesm/dependency-browser
Interactively browse dependencies