19 search results for "author:"Nicolas Ojeda Bar""
ethernet
OCaml Ethernet (IEEE 802.3) layer, used in MirageOS
maildir
This is a preliminary release of an OCaml library to access directories in the Maildir format.
mirage
The MirageOS library operating system
Thomas Gazagnaire
Anil Madhavapeddy
Gabriel Radanne
Mindy Preston
Thomas Leonard
Nicolas Ojeda Bar
Dave Scott
David Kaloper
Hannes Mehnert
Richard Mortier
4.3.3
ISC
Used by 4 other packages
mirage-device
Abstract devices for MirageOS
Thomas Gazagnaire
Anil Madhavapeddy
Gabriel Radanne
Mindy Preston
Thomas Leonard
Nicolas Ojeda Bar
Dave Scott
David Kaloper
Hannes Mehnert
Richard Mortier
2.0.0
ISC
Used by 8 other packages
mirage-net
Network signatures for MirageOS
Thomas Gazagnaire
Anil Madhavapeddy
Gabriel Radanne
Mindy Preston
Thomas Leonard
Nicolas Ojeda Bar
Dave Scott
David Kaloper
Hannes Mehnert
Richard Mortier
4.0.0
ISC
Used by 13 other packages
mirage-net-lwt
Network signatures for MirageOS
Thomas Gazagnaire
Anil Madhavapeddy
Gabriel Radanne
Mindy Preston
Thomas Leonard
Nicolas Ojeda Bar
Dave Scott
David Kaloper
Hannes Mehnert
Richard Mortier
2.0.0
ISC
Used by 11 other packages
mirage-random
Random-related devices for MirageOS
Thomas Gazagnaire
Anil Madhavapeddy
Gabriel Radanne
Mindy Preston
Thomas Leonard
Nicolas Ojeda Bar
Dave Scott
David Kaloper
Hannes Mehnert
Richard Mortier
3.0.0
ISC
Used by 22 other packages
mirage-runtime
The base MirageOS runtime library, part of every MirageOS unikernel
Thomas Gazagnaire
Anil Madhavapeddy
Gabriel Radanne
Mindy Preston
Thomas Leonard
Nicolas Ojeda Bar
Dave Scott
David Kaloper
Hannes Mehnert
Richard Mortier
4.3.3
ISC
Used by 10 other packages
mirage-time
Time operations for MirageOS
Thomas Gazagnaire
Anil Madhavapeddy
Gabriel Radanne
Mindy Preston
Thomas Leonard
Nicolas Ojeda Bar
Dave Scott
David Kaloper
Hannes Mehnert
Richard Mortier
3.0.0
ISC
Used by 35 other packages
mirage-time-lwt
Time operations for MirageOS with Lwt
Thomas Gazagnaire
Anil Madhavapeddy
Gabriel Radanne
Mindy Preston
Thomas Leonard
Nicolas Ojeda Bar
Dave Scott
David Kaloper
Hannes Mehnert
Richard Mortier
1.3.0
ISC
Used by 20 other packages
mirage-time-unix
Time operations for MirageOS on Unix
Thomas Gazagnaire
Anil Madhavapeddy
Gabriel Radanne
Mindy Preston
Thomas Leonard
Nicolas Ojeda Bar
Dave Scott
David Kaloper
Hannes Mehnert
Richard Mortier
3.0.0
ISC
Used by 13 other packages
mirage-types
Module type definitions for MirageOS applications
Thomas Gazagnaire
Anil Madhavapeddy
Gabriel Radanne
Mindy Preston
Thomas Leonard
Nicolas Ojeda Bar
Dave Scott
David Kaloper
Hannes Mehnert
Richard Mortier
3.10.8
ISC
Used by 5 other packages
tcpip
OCaml TCP/IP networking stack, used in MirageOS