8000 mirage repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

@mirage MirageOS

Change the repository type filter

All

    Repositories list

    208 repositories

    • awa-ssh

      Public
      Purely functional SSH library in ocaml.
      sshsecuritycryptographypuremirageosmirageocamlssh-libraryawa-ssh
      OCaml
      •
      ISC License
      •13•103•4•0•Updated May 16, 2025May 16, 2025

    • ocaml-unikraft

      Public
      OCaml cross-compiler to freestanding Unikraft backends
      Makefile
      •
      MIT License
      •0•1•0•0•Updated May 15, 2025May 15, 2025

    • mirage-crypto

      Public
      Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
      cryptographyaesocamlrsasha2mirageosrngdsadhfortuna
      C
      •
      ISC License
      •44•78•19•2•Updated May 15, 2025May 15, 2025

    • ocaml-git

      Public
      Pure OCaml Git format and protocol
      gitocaml
      OCaml
      •
      ISC License
      •69•364•13•6•Updated May 14, 2025May 14, 2025

    • mirage

      Public
      MirageOS is a library operating system that constructs unikernels
      linuxxenocamlopamkvmmirageosunikernel
      OCaml
      •
      ISC License
      •254•2.7k•47•8•Updated May 14, 2025May 14, 2025

    • mirage-unikraft

      Public
      Unikraft core platform libraries for MirageOS
      OCaml
      •
      MIT License
      •0•2•0•0•Updated May 13, 2025May 13, 2025

    • unikraft

      Public
      A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
      C
      •
      Other
      •1.5k•1•0•0•Updated May 12, 2025May 12, 2025

    • unikraft-lib-musl

      Public
      musl: A C standard library
      C
      •
      Other
      •31•0•0•0•Updated May 12, 2025May 12, 2025

    • mirage-net-unikraft

      Public
      Unikraft implementation of MirageOS network interface
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •0•3•0•0•Updated May 12, 2025May 12, 2025

    • mirage-block-unikraft

      Public
      Unikraft implementation of MirageOS block interface
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •0•2•0•0•Updated May 12, 2025May 12, 2025

    • ocaml-dns

      Public
      OCaml implementation of the DNS protocol
      dnsmirageosunikernelocaml
      OCaml
      •
      BSD 2-Clause "Simplified" License
      •43•106•25•4•Updated May 9, 2025May 9, 2025

    • uspf

      Public
      SPF verifier and signer in OCaml
      OCaml
      •
      MIT License
      •1•10•2•0•Updated May 1, 2025May 1, 2025

    • ocaml-dkim

      Public
      DKIM support on e-mail
      OCaml
      •
      MIT License
      •1•11•3•0•Updated Apr 30, 2025Apr 30, 2025

    • lwt-dllist

      Public
      Mutable doubly-linked list with Lwt iterators
      OCaml
      •
      MIT License
      •5•6•0•1•Updated Apr 28, 2025Apr 28, 2025

    • ezjsonm

      Public
      An easy interface on top of the Jsonm library.
      OCaml
      •
      Other
      •23•41•3•2•Updated Apr 28, 2025Apr 28, 2025

    • digestif

      Public
      Simple hash algorithms in OCaml
      chashmd5blake2bsha1sha256sha512sha384sha224ocaml
      OCaml
      •
      MIT License
      •27•89•6•0•Updated Apr 17, 2025Apr 17, 2025

    • ca-certs

      Public
      Detect root CA certificates from the operating system
      OCaml
      •
      ISC License
      •13•14•1•0•Updated Apr 15, 2025Apr 15, 2025

    • mirage-tcpip

      Public
      TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
      ipv4tcpiptcpudpocamlicmparpmirageosunikernelethernet
      OCaml
      •
      ISC License
      •87•344•24•5•Updated Apr 15, 2025Apr 15, 2025

    • conan

      Public
      Like detective conan, find clue about the type of the file
      filemime
      OCaml
      •
      Other
      •7•52•2•1•Updated Apr 14, 2025Apr 14, 2025

    • dns-resolver

      Public
      OCaml
      •2•7•1•0•Updated Apr 14, 2025Apr 14, 2025

    • ca-certs-nss

      Public
      CA certificates extracted from NSS, to be used with MirageOS
      OCaml
      •
      ISC License
      •2•6•2•0•Updated Apr 8, 2025Apr 8, 2025

    • colombe

      Public
      Implementation of SMTP protocols in OCaml
      OCaml
      •
      MIT License
      •6•44•1•0•Updated Apr 1, 2025Apr 1, 2025

    • qubes-mirage-firewall

      Public
      A Mirage firewall VM for QubesOS
      ocamlmirageosfirewallunikernelqubesos
      OCaml
      •
      BSD 2-Clause "Simplified" License
      •29•220•10•1•Updated Mar 20, 2025Mar 20, 2025

    • irmin

      Public
      Irmin is a distributed database that follows the same design principles as Git
      gitdatabasestorageocamlmirageosirmin
      OCaml
      •
      ISC License
      •159•1.9k•118•17•Updated Mar 19, 2025Mar 19, 2025

    • index

      Public
      A platform-agnostic multi-level index
      OCaml
      •
      MIT License
      •21•33•24•10•Updated Mar 18, 2025Mar 18, 2025

    • alcotest

      Public
      A lightweight and colourful test framework
      unit-testingocaml
      OCaml
      •
      ISC License
      •82•478•42•8•Updated Mar 18, 2025Mar 18, 2025

    • ocaml-cohttp

      Public
      An OCaml library for HTTP clients and servers using Lwt or Async
      httphttp-clientunixocamllwt
      OCaml
      •
      Other
      •177•736•87•10•Updated Mar 17, 2025Mar 17, 2025

    • ocaml-rpc

      Public
      Light library to deal with RPCs in OCaml
      OCaml
      •
      ISC License
      •32•97•6•6•Updated Mar 14, 2025Mar 14, 2025

    • ocaml-solo5

      Public
      Freestanding OCaml runtime
      mirageosocaml
      C
      •
      Other
      •31•104•0•1•Updated Mar 13, 2025Mar 13, 2025

    • optint

      Public
      Library to provide a fast integer (x64 arch) or allocated int32 (x84 arch)
      OCaml
      •
      MIT License
      •10•24•0•1•Updated Mar 11, 2025Mar 11, 2025
    0