isakmp / ikeLinks
Pure OCaml IKEv2
☆14Updated 9 years ago
Alternatives and similar repositories for ike
Users that are interested in ike are comparing it to the libraries listed below
Sorting:
- Helpers for using topkg with jbuilder☆15Updated 8 years ago
- OCaml parser for RFC 3164 Syslog messages☆24Updated 2 years ago
- WIP Handbook for MirageOS☆14Updated 7 years ago
- Curve25519 in OCaml.☆16Updated 7 years ago
- Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.☆28Updated last month
- MirageOS Syslog Unikernel☆11Updated 9 years ago
- POSIX sendmsg bindings for OCaml☆16Updated 9 years ago
- ☆21Updated 2 years ago
- CI in tty☆14Updated 2 years ago
- OCaml interface to cgroups☆21Updated 3 years ago
- HMAC-based Extract-and-Expand Key Derivation Function (HKDF) (RFC 5869)☆12Updated last year
- Basic password manager library and command-line application in OCaml☆12Updated 7 years ago
- HTML validation on command line☆18Updated 6 years ago
- Xen core platform libraries for MirageOS☆18Updated 10 months ago
- OCaml ppx preprocessor to generate SQLite3 prepared statements and query functions☆12Updated 10 years ago
- An ocaml library for using BPF/AF_SOCKET in a platform independent way.☆17Updated 2 years ago
- Basic demo of OCaml's PPX feature.☆10Updated 10 years ago
- WiP image viewer using MirageOS☆18Updated 6 years ago
- moved to☆10Updated last month
- Create, parse Apple Plists, plays nicely with Yojson☆10Updated 8 years ago
- Map à la Binary Radix Tree☆20Updated 3 years ago
- RSS and Atom feed parsing☆34Updated 5 months ago
- telnet protocol in OCaml☆14Updated 9 years ago
- Convert a cmi file back to an mli interface☆13Updated 13 years ago
- Lets you create interactive shells in OCaml.☆10Updated 9 years ago
- A DHCP server for UNIX systems based on charrua-core.☆11Updated 8 years ago
- Dynamic records in OCaml☆26Updated 2 years ago
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Updated 6 years ago
- A planet (feed aggregator) for OCaml.☆27Updated last year
- Lockless Multiple Producer Single Consumer Queue for ocaml-multicore☆18Updated 3 years ago