There are no reviews yet. Be the first to send feedback to the community and the maintainers!
xen-minios
Really mini operating system (extracted from xen-unstable, and much stuff removed)docker-ssh-agent-forward
Forward SSH agent socket into a containerocaml-yaml
OCaml interface to the YAML 1.1 specocaml-lens
Private extraction of astrada's lens librarymelange
Fast, statically type-safe OCaml network applications (e.g. DNS/SSH)ocaml-print-intf
Pretty print an OCaml cmi/cmt/cmti file in human-readable OCaml signature formocaml-annot
OCaml annot updated to work with latest 3.10+ annot file format (with Call/Ident info)hello-world-action-ocaml
Example use of GitHub Actions with OCamleeww
Experimental effects-based wonderful webserverdocker-opam
Docker container for an OCaml + OPAM setupplatform
Experimental vendoring of Platform toolssignpost
Infrastructure for personal VPNsmirage-ci
Continuous Integration for MirageOS using DataKit's git workflowmirage-from-basics
Another way to describe mirageocaml-orm-sqlite
Development repository: the main repo is at http://github.com/mirage/orm : Generates convenient, statically type-safe accessor methods for databasesocaml-devcontainers
VSCode devcontainers for OCamlvagrant-opam
Vagrant + OPAM/OCamlopam-boot
Bootstrap scripts to build standalone OPAM projectsshonan-143
Shonan #143: Programming Language Support for Data-intensive Applicationsdopam
Run OPAM under Dockerocaml-ssh
SSHv2 library, client and server implementation in OCamlmpl
Specification compiler to marshal/unmarshal binary protocols in OCamlocaml-regexp
Portable and reasonably fast OCaml regexp libraryocaml-abnf
Experiments in LLVM parsing of ABNFactions-ocaml
GitHub Actions for OCaml projectsocaml-socketio
Socket.IO server implementationocaml-appengine
Run OCaml applications on Google AppengineEpiVM
Epic - a Supercombinator CompilerIvor
A type theory based theorem proving libraryocaml-json-tc
Syntax extension for statically-typed JSON handling in OCamlosrelease
Detect operating system, distribution, version and architecture in OCamlocaml-git-old
Git wrapper for OCamlocaml-docker-infra
Docker and OCaml infrastructure scriptsocaml-iperf
OCaml implementation of the IPerfv3 protocolocaml-workflow
Persistent workflows for Lwt/OCamljekyll-format
OCaml parser for Jekyll-format blog postsmacos-xen
patches and notes for MacOS/Xen supportperscon
Personal Container server for AppEngine/Linux/MacOS Xocamlclean
OCaml byte code cleaner modified to work with -output-obj (for linked bytecode libraries)signpostd
Signpost library and client/server implementationocaml-ld
Dynamic reconfigurable linker for OCamlmirage-duniverse
messing around with duniversesIdris
A language with dependent typesopam-sync-github-prs
Generates an OPAM compiler remote for active GitHub OCaml PRsocaml-docker-scripts
Scripts to generate Dockerfiles for various OCaml-based imagestype-ropes
Universal(ish) protocol data-plane handlingbushel
livejournal, we miss youuuutravis-senv
Command-line utility to ease encryption and decryption of Travis secure environment variablesae-location
Personal location tracker using AppEngineopenbsd-ports
Unofficial git-converted mirror of OpenBSD ports CVS tree, synched every two hoursgit-delve
WIP: Delve into statistics about clusters of Git repositorismirage-perf
Performance testing scripts for MirageOSopam-installext
OPAM plugin to install external system libraries alongside OPAM packagesocaml-fbt-trace
Function boundary tracing for OCaml to help debug problems the old-fashioned printf wayrumprun-osx
Build Rumprun toolchain for OSXocaml-lwip
OCaml bindings to the lwIP TCP/IP stackocaml-lwt-json-logger
Lwt_log plugin which outputs to a sweet Bootstrap HTTP debug interfacexen-unstable
Git mirror of http://xenbits.xensource.com/xen-unstable.hgfable
Simply fabulous I/O performance, dahlingperscon.net
Web pages for perscon.nethesternus
CLI tool to generate weekly reports for clusters of GitHub projectsocaml-icalendar
lwt-OLD
Mirror of http://ocsigen.org/darcs/lwt (master branch, dev branches may contain something else)skywriting-www
Website for Skywritingopam-mirror
Mirror upstream distribution files for an OPAM repositorylifedb-plugins
Plugin collection for the LifeDB serverocaml-lens-OLD
Lens buffers for efficient data parsingopam-repo-tools
Utilities for extracting metadata from OPAM repositoriesmirari
Mirage Application Builderopenbsd-xen-sys
OpenBSD PV Xen, archived port from GSoC 2006 projecttesla-cfa
Control Flow Automata toolsracket-to-ocaml-ffi-test
oud.ocaml.org
ocaml users and developers meeting websitepy-keyring-lib
Bugfix fork of http://bitbucket.org/kang/python-keyring-lib/ocaml-tutorial
Tutorial slides for CUFP 2012deprecated-darwinports
Anil's updated and new Darwinportsmirage-browser
Module API browser for Miragesrc
Unofficial git-converted mirror of OpenBSD src CVS tree, synched every two hoursjsontee
Capture stdout, stderr and exit code of process into JSONopam2-ppa
opam2 personal package archive build scriptsmlnodegl
perscon-imap
offlineimap port to the personal container APIopenbsd-lynx
Upstream git mirror of the OpenBSD Lynx treeocaml-fable
Fabulous reconfigurable I/O channelstwiopam
This Week in OPAM CLI toolRoboC
http2https
HTTP to HTTPS redirectoropam-ppa-OLD
Dirty working tree for the Ubuntu OPAM PPA at https://launchpad.net/~avsm/+archive/ppa-opam-unstableopam-dev-repository
docker-ocaml-build
Docker base builds of OCaml using the system installationocaml-minima-theme
OCaml port of the Jekyll minima themehomepage
OCaml homepage frameworkciel-ocaml
OCaml bindings for the CIEL distributed execution engineopam-log-server
HTTP/REST server to store logs from OPAM bulk builds (see avsm/opam-bulk-builder)opam-tagger
Add and remove tags from `opam` format fileslifedb-server
LifeDB server to manage personal dataocaml-sqlite3-agg
[DEPRECATED: functionality merged into 1.4.0 upstream] Extend the OCaml SQLite3 bindings with custom aggregation function supportidr-IP
Dependently typed DSLs for network protocolsopam-pr-build-results
Logs from container builds of PRsdebian-jessie-backports-opam
Dockerfile that backports OPAM 1.2.2 to Debian JessieLove Open Source and this site? Check out how you can help us