kit-ty-kate/mirage-ping

Stars
5
Rank 2,861,937 (Top 57 %)
Language
OCaml
Created almost 7 years ago
Updated almost 3 years ago

kit-ty-kate/mirage-ping

kit-ty-kate

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

This project ships two MirageOS unikernels to keep track of my server which has a dynamic IP

labrys

A toy language based on LLVM that implements the System Fω type-system

ocaml-monomorphic

A small library used to shadow polymorphic operators (and functions) contained in the stdlib.

mastodon-archive-viewer

View your Mastodon archive offline

opam-grep

Script that greps anything in the sources of every opam packages

opam-alpha-repository

A test opam overlay containing packages compatible with the next release of the OCaml compiler

opam-build

Experimental opam plugin

ocaml-activitypub

A dedicated ActivityPub/ActivityStreams parser and generator for OCaml

llvm-dune

The official LLVM OCaml binding but built using dune

yummy

[unreleased] A parser and generator library for a simple subset of YAML in pure OCaml

ocamldap

Ocamldap is an implementation of the Light Weight Directory Access Protocol

waylaunch

A program launcher for Wayland

camllzma

OCaml binding to liblzma [EXPERIMENTAL]

why3

An unofficial mirror of Why3 (http://why3.lri.fr/)

spdx_licenses

ocaml-platform-readiness

Experimental script to keep track of the status of various key OCaml packages

harrop-minml

Origin: https://groups.google.com/forum/#!msg/fa.caml/i6IgSFX8XkY/4khF8z1V7loJ

mirage-news

visitors

Mirror of https://gitlab.inria.fr/fpottier/visitors

ocaml-timeout

ocamlbuild-pkg

[DEPRECATED] An ocamlbuild plugin that helps packaging softwares

coq-playground

Playing with Coq…

camlbz2

https://gitlab.com/irill/camlbz2

llopt

Just a tiny LLVM-IR optimizer for testing stuff

mirage-torrent

otig

Experimental stuff with an experimental ocaml-git

ocaml-docker-hub

An OCaml library aiming to provide data from hub.docker.com

plaintext-server

ocaml-release-script

A simple release script using dune-release + opam-publish because dune-release does not work

minimal_http

delimcc

A temporary fork of http://okmij.org/ftp/continuations/implementations.html#caml-shift

opam-overlay

My personal opam overlay repository

feed-filter-example

An OCaml example program that allows you to filter atom feeds entries using Syndic

lib-pxp

Fork of https://gitlab.com/gerdstolpmann/lib-pxp

lld-playground

Playing with LLD (LLVM native linker)

js_of_ocaml-example

Small example for a friend

asahi-tips

exn.st

ocaml-tar-playground