There are no reviews yet. Be the first to send feedback to the community and the maintainers!
jackline
minimalistic secure XMPP client in OCamltlstunnel-lwt
TLS tunnel -- an alternative to stud / stunnelgmap
heterogenous Map over a GADTocaml-otr
Off-the-record (OTR) messaging protocol, purely in OCamlconex
establish trust in community repositories, cryptographically signed by library authorspatch
line based patch, input is a unified diffduration
Durationtelnet
telnet protocol in OCamltlsclient
TLS client programocaml-hkdf
HMAC-based Extract-and-Expand Key Derivation Function (HKDF) (RFC 5869)usane
Unsigned integers for OCamldomain-name
RFC 1035 Internet domain nameslogs-syslog
Emit Logs via syslogtrace-checker
statmemprof-mirage
Statistical memory profiling for MirageOSns.nqsb.io
NQSB.IO name serverbibtex-kindle
Some elisp code which uses bibtex to export pdfs to kindle (metadata and collections)mirageos-bobkonf2019-tutorial
MirageOS unikernels used for bobkonf 2019 tutorialmirage-timestamp-reporter
A log reporter which prefixes each message with a timestamprandomconv
Convert random byte vectors to numbersmodule-size
Figuring out binary sizes of OCaml modules in a binaryprecis
RFC 8264 in OCamlvisualization-middleware
Open Dylan intermediate representation live visualizationgraph.js
JavaScript graph structure: common operations, placing and drawing on canvastestrepo
wireguard-ocaml
wireguard but this time it's in ocamljackline-opam
minimal fully signed opam repository for jacklineDependencyBrowser
java sidexmpp-opam
OPAM repository for xmpp developmentconex-paper
KopitiamAspects
weaving of eclipse Java parser to accept custom JDT syntax for proof scripttyped-opendylan-dylan
Dylan library for typed opendylan branchKopitiamBoilerplate
Kopitiam feature and update site, as needed by eclipseEclipseAspect
some tests of eclipse aspectsfunctoria-playground
dependency-browser
Interactively browse dependenciesopam-check-checksum
Love Open Source and this site? Check out how you can help us