robur-coop / caldav
Calendar server (CalDAV, RFC 4791) implementation in OCaml
☆59Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for caldav
- nix expressions for the official opam repository, using opam2nix☆27Updated 3 years ago
- Paste-eur as unikernel☆64Updated 4 months ago
- Purely functional SSH library in ocaml.☆103Updated 2 months ago
- ☆22Updated this week
- SSH chat server using trust on first use for user registration☆30Updated 2 months ago
- heterogenous Map over a GADT☆42Updated 3 years ago
- wireguard but this time it's in ocaml☆1Updated 5 years ago
- What do you mean?☆42Updated 2 months ago
- Efficient Bloom filters for OCaml☆36Updated 2 years ago
- Postes, Télégraphes et Téléphones☆27Updated 3 weeks ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆55Updated last month
- & images☆32Updated last year
- MirageOS unikernels☆51Updated 3 years ago
- Implementation of SMTP protocols in OCaml☆44Updated 3 weeks ago
- Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel☆63Updated last month
- automatic ci configuration for the people☆35Updated 5 years ago
- A Mirage filesystem library☆44Updated 3 years ago
- Implementation of a matrix server in OCaml for MirageOS☆48Updated last year
- Experimental portable bitmap framebuffer graphics for MirageOS☆17Updated 4 years ago
- Declarative events and signals for OCaml☆45Updated 7 months ago
- Pretty printing library☆54Updated last week
- A platform-agnostic multi-level index☆33Updated 5 months ago
- OCaml bindings to wlroots [experimental]☆25Updated 9 months ago
- Trivial/Tagless Polytypic Functions☆23Updated 4 years ago
- A simple implementation of Discrete Interval Encoding Trees☆28Updated 2 years ago
- Result value combinators for OCaml☆37Updated last year
- A site generator in OCaml 🐫 (OCurrent pipelines too)☆68Updated 2 years ago
- Irmin-based Markdown Editor☆46Updated 2 years ago
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆27Updated 2 years ago