Anil Madhavapeddy (avsm)

avsm

Geek Repo

Company:University of Cambridge

Location:Cambridge, UK

Home Page:https://anil.recoil.org/

Twitter:@avsm

Github PK Tool:Github PK Tool


Organizations
CTSRD-TESLA
horizon-institute
mirage
ocaml
ocaml-attic
ocaml-bench
ocamllabs
ocurrent
realworldocaml

Anil Madhavapeddy's repositories

ipc-bench

Latency benchmarks of Unix IPC mechanisms

mirage-from-basics

Another way to describe mirage

shonan-143

Shonan #143: Programming Language Support for Data-intensive Applications

Stargazers:15Issues:0Issues:0

travis-senv

Command-line utility to ease encryption and decryption of Travis secure environment variables

Language:OCamlStargazers:6Issues:0Issues:0

arp

Purely functional ARP in OCaml

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

camlp4-to-ppx

Convert from camlp4 + syntax extensions to regular OCaml + extension points and attributes

Language:OCamlLicense:Apache-2.0Stargazers:0Issues:0Issues:0

charrua-core

A dhcpd implementation in ocaml. (WIP)

Language:OCamlLicense:ISCStargazers:0Issues:0Issues:0

datakit

Connect processes into powerful data pipelines with a simple git-like filesystem interface

Language:OCamlLicense:Apache-2.0Stargazers:0Issues:0Issues:0

ethernet

Ethernet (IEEE 802.3) layer implementation for MirageOS in OCaml

Language:OCamlLicense:ISCStargazers:0Issues:0Issues:0

irmin

Irminsule is a distributed filesystem and block store that follows the same design principles as Git

Language:OCamlStargazers:0Issues:0Issues:0

mirage-block-ramdisk

A simple in-memory BLOCK device

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

mirage-block-xen

Client and server implementations of the xen paravirtualised block driver protocol

Language:Standard MLStargazers:0Issues:0Issues:0

mirage-console

Portable console handling for Mirage applications

Language:OCamlLicense:ISCStargazers:0Issues:0Issues:0

mirage-platform

OS platform libraries for Mirage (UNIX and Xen)

Language:CStargazers:0Issues:0Issues:0

mirage-profile

Collect profiling information

Language:OCamlLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

mirage-tcpip

Networking stack for Mirage

Language:OCamlLicense:ISCStargazers:0Issues:0Issues:0

mirage-www

Website infrastructure for openmirage.org

Language:OCamlStargazers:0Issues:0Issues:0

mirage-xen

Xen core platform libraries for MirageOS

Language:OCamlLicense:ISCStargazers:0Issues:0Issues:0

ocaml-ci-scripts

Skeleton for Travis CI scripts

Language:OCamlLicense:ISCStargazers:0Issues:3Issues:0

ocaml-conduit

Resolve URIs into communication channels for Async or Lwt

Language:OCamlLicense:ISCStargazers:0Issues:0Issues:0

ocaml-diet

A simple implementation of Discrete Interval Encoding Trees

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ocaml-dns

OCaml implementation of the DNS protocol

Language:OCamlLicense:ISCStargazers:0Issues:0Issues:0

ocaml-freestanding

Freestanding OCaml runtime

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ocaml-github-hooks

A GitHub web hook listener in OCaml

Language:OCamlLicense:ISCStargazers:0Issues:0Issues:0

ocaml-ipaddr

A library for manipulation of IP (and MAC) address representations

Language:OCamlLicense:ISCStargazers:0Issues:0Issues:0

ocaml-pcap

Ocaml code for generating and analysing pcap (packet capture) files

Language:OCamlLicense:ISCStargazers:0Issues:0Issues:0

ocaml-win-eventlog

OCaml bindings for the Windows event log

Language:OCamlLicense:ISCStargazers:0Issues:0Issues:0

ocaml-xenstore-clients

Unix client tools for accessing xenstore

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

prometheus

OCaml library for reporting metrics to a Prometheus server

Language:OCamlLicense:Apache-2.0Stargazers:0Issues:0Issues:0

stringext

Extra string functions for OCaml

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0