Discover avsm/opam2-ppa 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

messing around with duniverses

mirage-duniverse

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

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