hannesm

hannesm's Stars

• art-w/gamelle

  2d game engine for OCaml

  Language:OCaml55355

• rossberg/boulder-dash

  A Boulder Dash clone in OCaml

  Language:OCaml32102

• m-laniakea/ascend

  Ascend - simple, yet fun terminal RPG.

  Language:OCaml25102

• muhokama/ring

  A statically generated webring with YOCaml, because we love small-web

  Language:OCaml19307

• robur-coop/mollymawk

  A web interface for albatross

  Language:OCaml173123

• kit-ty-kate/mirage-torrent

  WIP

  Language:OCaml16102

• elastic/quark

  Language:C154482

• ulrikstrid/ocaml-wol

  OCaml implementation of Wake-On-LAN (WOL)

  Language:OCaml1511

• mdales/Claudius

  A fantasy-console style graphics library for OCaml

  Language:OCaml14200

• yforster/coq-verified-extraction

  Language:Coq13523

• art-w/ppx_shared

  Interleaved client/server code extraction

  Language:OCaml12200

• msub2/breeze

  An OCaml-based browser for the SmolNet

  Language:OCaml120

• robur-coop/cachet

  A simple cache system for mmap in OCaml

  Language:OCaml1130

• robur-coop/hurl

  A simple HTTP client for OCaml 5

  Language:OCaml1130

• m-laniakea/oserial

  OCaml Serial Module

  Language:OCaml10112

• robur-coop/kdf

  Key deriving functions in OCaml

  Language:OCaml1030

• robur-coop/ohex

  Hexadecimal encoding and decoding, mirror of https://git.robur.coop/robur/ohex

  Language:OCaml1040

• mirage/mirage-bootvar

  Boot parameters for MirageOS

  Language:OCaml91901

• robur-coop/mirage-swapfs

  Language:OCaml821

• uchicago-library/attachment-converter

  Attachment Converter: tool for batch converting attachments in an email mailbox

  Language:OCaml87693

• verbosemode/onionctrl

  Language:OCaml8100

• robur-coop/qubes-miragevpn

  Language:OCaml7441

• hannesm/mirage-time-defunctorised

  610

• Julow/nixos-solo5

  NixOS module for running hvt unikernels using solo5

  Language:Nix610

• robur-coop/dns-stub

  A stub DNS resolver MirageOS unikernel

  Language:OCaml630

• robur-coop/bancos

  A simple KV-store

  Language:C5

• robur-coop/miragevpn-handbook

  5

• robur-coop/carton

  Language:OCaml3301

• anhndd/simple-fw

  Language:OCaml21

• hannesm/dune-variant

  Language:OCaml210