There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Minimal OS ---------- This shows some of the stuff that any guest OS will have to set up. This includes: * installing a virtual exception table * handling virtual exceptions * handling asynchronous events * enabling/disabling async events * parsing start_info struct at start-of-day * registering virtual interrupt handlers (for timer interrupts) * a simple page and memory allocator * minimal libc support * minimal Copy-on-Write support * network, block, framebuffer support * transparent access to FileSystem exports (see tools/fs-back) - to build it just type make. - to build it with TCP/IP support, download LWIP 1.3 source code and type make LWIPDIR=/path/to/lwip/source - to build it with much better libc support, see the stubdom/ directory - to start it do the following in domain0 (assuming xend is running) # xm create domain_config This starts the kernel and prints out a bunch of stuff and then once every second the system time. If you have setup a disk in the config file (e.g. disk = [ 'file:/tmp/foo,hda,r' ] ), it will loop reading it. If that disk is writable (e.g. disk = [ 'file:/tmp/foo,hda,w' ] ), it will write data patterns and re-read them. If you have setup a network in the config file (e.g. vif = [''] ), it will print incoming packets. If you have setup a VFB in the config file (e.g. vfb = ['type=sdl'] ), it will show a mouse with which you can draw color squares. If you have compiled it with TCP/IP support, it will run a daytime server on TCP port 13.
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 installationopam-bulk-builder
Scripts for building the OPAM archive using Docker; results in avsm/opam-bulk-logsocaml-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