Discover avsm/mirage-duniverse Open Source project

OCaml interface to the YAML 1.1 spec

135

ocaml-yaml

Private extraction of astrada's lens library

ocaml-lens

Fast, statically type-safe OCaml network applications (e.g. DNS/SSH)

melange

Pretty print an OCaml cmi/cmt/cmti file in human-readable OCaml signature form

ocaml-print-intf

OCaml annot updated to work with latest 3.10+ annot file format (with Call/Ident info)

ocaml-annot

Makefile

hello-world-action-ocaml

Example use of GitHub Actions with OCaml

Experimental effects-based wonderful webserver

eeww

Docker container for an OCaml + OPAM setup

docker-opam

Experimental vendoring of Platform tools

platform

Infrastructure for personal VPNs

signpost

Continuous Integration for MirageOS using DataKit's git workflow

mirage-ci

Another way to describe mirage

mirage-from-basics

ocaml-orm-sqlite

Development repository: the main repo is at http://github.com/mirage/orm : Generates convenient, statically type-safe accessor methods for databases

VSCode devcontainers for OCaml

ocaml-devcontainers

vagrant-opam

Vagrant + OPAM/OCaml

Bootstrap scripts to build standalone OPAM projects

opam-boot

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

shonan-143

dopam

Run OPAM under Docker

SSHv2 library, client and server implementation in OCaml

ocaml-ssh

Specification compiler to marshal/unmarshal binary protocols in OCaml

mpl

Portable and reasonably fast OCaml regexp library

ocaml-regexp

Experiments in LLVM parsing of ABNF

ocaml-abnf

GitHub Actions for OCaml projects

actions-ocaml

Socket.IO server implementation

ocaml-socketio

Run OCaml applications on Google Appengine

ocaml-appengine

Epic - a Supercombinator Compiler

EpiVM

Haskell

Ivor

A type theory based theorem proving library

Haskell

ocaml-json-tc

Syntax extension for statically-typed JSON handling in OCaml

Detect operating system, distribution, version and architecture in OCaml

osrelease

ocaml-git-old

Git wrapper for OCaml

Docker and OCaml infrastructure scripts

ocaml-docker-infra

OCaml implementation of the IPerfv3 protocol

ocaml-iperf

Persistent workflows for Lwt/OCaml

ocaml-workflow

OCaml parser for Jekyll-format blog posts

jekyll-format

patches and notes for MacOS/Xen support

macos-xen

perscon

Personal Container server for AppEngine/Linux/MacOS X

OCaml byte code cleaner modified to work with -output-obj (for linked bytecode libraries)

ocamlclean

Signpost library and client/server implementation

signpostd

Dynamic reconfigurable linker for OCaml

ocaml-ld

A language with dependent types

Idris

Haskell

opam-sync-github-prs

Generates an OPAM compiler remote for active GitHub OCaml PRs

Scripts to generate Dockerfiles for various OCaml-based images

ocaml-docker-scripts

Universal(ish) protocol data-plane handling

type-ropes

bushel

livejournal, we miss youuuu

travis-senv

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

Personal location tracker using AppEngine

ae-location

Unofficial git-converted mirror of OpenBSD ports CVS tree, synched every two hours

openbsd-ports

Perl

git-delve

WIP: Delve into statistics about clusters of Git repositoris

Performance testing scripts for MirageOS

mirage-perf

OPAM plugin to install external system libraries alongside OPAM packages

opam-installext

Function boundary tracing for OCaml to help debug problems the old-fashioned printf way

ocaml-fbt-trace

Build Rumprun toolchain for OSX

rumprun-osx

OCaml bindings to the lwIP TCP/IP stack

ocaml-lwip

ocaml-lwt-json-logger

Lwt_log plugin which outputs to a sweet Bootstrap HTTP debug interface

Git mirror of http://xenbits.xensource.com/xen-unstable.hg

xen-unstable

fable

Simply fabulous I/O performance, dahling

perscon.net

Web pages for perscon.net

HTML

hesternus

CLI tool to generate weekly reports for clusters of GitHub projects

ocaml-icalendar

Mirror of http://ocsigen.org/darcs/lwt (master branch, dev branches may contain something else)

lwt-OLD

skywriting-www

Website for Skywriting

Mirror upstream distribution files for an OPAM repository

opam-mirror

Plugin collection for the LifeDB server

lifedb-plugins

Lens buffers for efficient data parsing

ocaml-lens-OLD

opam-repo-tools

Utilities for extracting metadata from OPAM repositories

Mirage Application Builder

mirari

OpenBSD PV Xen, archived port from GSoC 2006 project

openbsd-xen-sys

tesla-cfa

Control Flow Automata tools

ocaml users and developers meeting website

racket-to-ocaml-ffi-test

oud.ocaml.org

Bugfix fork of http://bitbucket.org/kang/python-keyring-lib/

py-keyring-lib

Tutorial slides for CUFP 2012

ocaml-tutorial

Anil's updated and new Darwinports

deprecated-darwinports

mirage-browser

Module API browser for Mirage

Unofficial git-converted mirror of OpenBSD src CVS tree, synched every two hours

src

jsontee

Capture stdout, stderr and exit code of process into JSON

opam2 personal package archive build scripts

opam2-ppa

mlnodegl

offlineimap port to the personal container API

perscon-imap

Upstream git mirror of the OpenBSD Lynx tree

openbsd-lynx

ocaml-fable

Fabulous reconfigurable I/O channels

This Week in OPAM CLI tool

twiopam

RoboC

http2https

HTTP to HTTPS redirector

Dirty working tree for the Ubuntu OPAM PPA at https://launchpad.net/~avsm/+archive/ppa-opam-unstable

opam-ppa-OLD

Docker base builds of OCaml using the system installation

opam-dev-repository

docker-ocaml-build

opam-bulk-builder

Scripts for building the OPAM archive using Docker; results in avsm/opam-bulk-logs

OCaml port of the Jekyll minima theme

ocaml-minima-theme

homepage

OCaml homepage framework

OCaml bindings for the CIEL distributed execution engine

ciel-ocaml

HTTP/REST server to store logs from OPAM bulk builds (see avsm/opam-bulk-builder)

opam-log-server

Add and remove tags from `opam` format files

opam-tagger

LifeDB server to manage personal data

lifedb-server

[DEPRECATED: functionality merged into 1.4.0 upstream] Extend the OCaml SQLite3 bindings with custom aggregation function support

ocaml-sqlite3-agg

Dependently typed DSLs for network protocols

idr-IP

opam-pr-build-results

Logs from container builds of PRs

Groff

100

debian-jessie-backports-opam

Dockerfile that backports OPAM 1.2.2 to Debian Jessie