• Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    OCaml
  • Created about 12 years ago
  • Updated about 12 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

xen-minios

Really mini operating system (extracted from xen-unstable, and much stuff removed)
C
184
star
2

docker-ssh-agent-forward

Forward SSH agent socket into a container
Shell
135
star
3

ocaml-yaml

OCaml interface to the YAML 1.1 spec
OCaml
70
star
4

ocaml-lens

Private extraction of astrada's lens library
OCaml
64
star
5

melange

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

ocaml-print-intf

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

ocaml-annot

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

hello-world-action-ocaml

Example use of GitHub Actions with OCaml
OCaml
32
star
9

eeww

Experimental effects-based wonderful webserver
OCaml
25
star
10

docker-opam

Docker container for an OCaml + OPAM setup
Shell
24
star
11

platform

Experimental vendoring of Platform tools
OCaml
23
star
12

signpost

Infrastructure for personal VPNs
Python
21
star
13

mirage-ci

Continuous Integration for MirageOS using DataKit's git workflow
OCaml
20
star
14

mirage-from-basics

Another way to describe mirage
19
star
15

ocaml-orm-sqlite

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

ocaml-devcontainers

VSCode devcontainers for OCaml
Shell
18
star
17

vagrant-opam

Vagrant + OPAM/OCaml
Shell
16
star
18

opam-boot

Bootstrap scripts to build standalone OPAM projects
Shell
15
star
19

shonan-143

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

dopam

Run OPAM under Docker
Shell
14
star
21

ocaml-ssh

SSHv2 library, client and server implementation in OCaml
OCaml
13
star
22

mpl

Specification compiler to marshal/unmarshal binary protocols in OCaml
OCaml
13
star
23

ocaml-regexp

Portable and reasonably fast OCaml regexp library
OCaml
13
star
24

ocaml-abnf

Experiments in LLVM parsing of ABNF
OCaml
12
star
25

actions-ocaml

GitHub Actions for OCaml projects
Shell
11
star
26

ocaml-socketio

Socket.IO server implementation
OCaml
11
star
27

ocaml-appengine

Run OCaml applications on Google Appengine
OCaml
11
star
28

EpiVM

Epic - a Supercombinator Compiler
Haskell
11
star
29

Ivor

A type theory based theorem proving library
Haskell
11
star
30

ocaml-json-tc

Syntax extension for statically-typed JSON handling in OCaml
OCaml
10
star
31

osrelease

Detect operating system, distribution, version and architecture in OCaml
OCaml
10
star
32

ocaml-git-old

Git wrapper for OCaml
OCaml
9
star
33

ocaml-docker-infra

Docker and OCaml infrastructure scripts
OCaml
9
star
34

ocaml-iperf

OCaml implementation of the IPerfv3 protocol
OCaml
9
star
35

ocaml-workflow

Persistent workflows for Lwt/OCaml
OCaml
8
star
36

jekyll-format

OCaml parser for Jekyll-format blog posts
OCaml
8
star
37

macos-xen

patches and notes for MacOS/Xen support
8
star
38

perscon

Personal Container server for AppEngine/Linux/MacOS X
JavaScript
8
star
39

ocamlclean

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

signpostd

Signpost library and client/server implementation
OCaml
8
star
41

ocaml-ld

Dynamic reconfigurable linker for OCaml
OCaml
7
star
42

mirage-duniverse

messing around with duniverses
OCaml
7
star
43

Idris

A language with dependent types
Haskell
7
star
44

opam-sync-github-prs

Generates an OPAM compiler remote for active GitHub OCaml PRs
OCaml
7
star
45

ocaml-docker-scripts

Scripts to generate Dockerfiles for various OCaml-based images
OCaml
7
star
46

type-ropes

Universal(ish) protocol data-plane handling
6
star
47

bushel

livejournal, we miss youuuu
6
star
48

travis-senv

Command-line utility to ease encryption and decryption of Travis secure environment variables
OCaml
6
star
49

ae-location

Personal location tracker using AppEngine
Python
6
star
50

openbsd-ports

Unofficial git-converted mirror of OpenBSD ports CVS tree, synched every two hours
Perl
6
star
51

git-delve

WIP: Delve into statistics about clusters of Git repositoris
OCaml
6
star
52

mirage-perf

Performance testing scripts for MirageOS
OCaml
5
star
53

opam-installext

OPAM plugin to install external system libraries alongside OPAM packages
Shell
5
star
54

ocaml-fbt-trace

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

rumprun-osx

Build Rumprun toolchain for OSX
Shell
5
star
56

ocaml-lwip

OCaml bindings to the lwIP TCP/IP stack
C
5
star
57

ocaml-lwt-json-logger

Lwt_log plugin which outputs to a sweet Bootstrap HTTP debug interface
OCaml
5
star
58

xen-unstable

Git mirror of http://xenbits.xensource.com/xen-unstable.hg
C
5
star
59

fable

Simply fabulous I/O performance, dahling
C
5
star
60

perscon.net

Web pages for perscon.net
HTML
5
star
61

hesternus

CLI tool to generate weekly reports for clusters of GitHub projects
OCaml
5
star
62

lwt-OLD

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

skywriting-www

Website for Skywriting
JavaScript
4
star
64

opam-mirror

Mirror upstream distribution files for an OPAM repository
OCaml
4
star
65

lifedb-plugins

Plugin collection for the LifeDB server
Python
4
star
66

ocaml-lens-OLD

Lens buffers for efficient data parsing
4
star
67

opam-repo-tools

Utilities for extracting metadata from OPAM repositories
OCaml
4
star
68

mirari

Mirage Application Builder
OCaml
4
star
69

openbsd-xen-sys

OpenBSD PV Xen, archived port from GSoC 2006 project
C
4
star
70

tesla-cfa

Control Flow Automata tools
OCaml
3
star
71

racket-to-ocaml-ffi-test

C
3
star
72

oud.ocaml.org

ocaml users and developers meeting website
JavaScript
3
star
73

py-keyring-lib

Bugfix fork of http://bitbucket.org/kang/python-keyring-lib/
Python
3
star
74

ocaml-tutorial

Tutorial slides for CUFP 2012
OCaml
3
star
75

deprecated-darwinports

Anil's updated and new Darwinports
3
star
76

mirage-browser

Module API browser for Mirage
JavaScript
3
star
77

src

Unofficial git-converted mirror of OpenBSD src CVS tree, synched every two hours
C
3
star
78

jsontee

Capture stdout, stderr and exit code of process into JSON
OCaml
3
star
79

opam2-ppa

opam2 personal package archive build scripts
Shell
3
star
80

mlnodegl

OCaml
3
star
81

perscon-imap

offlineimap port to the personal container API
Python
2
star
82

openbsd-lynx

Upstream git mirror of the OpenBSD Lynx tree
C
2
star
83

ocaml-fable

Fabulous reconfigurable I/O channels
OCaml
2
star
84

twiopam

This Week in OPAM CLI tool
OCaml
2
star
85

RoboC

2
star
86

http2https

HTTP to HTTPS redirector
OCaml
2
star
87

opam-ppa-OLD

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

opam-dev-repository

2
star
89

docker-ocaml-build

Docker base builds of OCaml using the system installation
2
star
90

opam-bulk-builder

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

ocaml-minima-theme

OCaml port of the Jekyll minima theme
OCaml
2
star
92

homepage

OCaml homepage framework
OCaml
2
star
93

ciel-ocaml

OCaml bindings for the CIEL distributed execution engine
OCaml
2
star
94

opam-log-server

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

opam-tagger

Add and remove tags from `opam` format files
OCaml
2
star
96

lifedb-server

LifeDB server to manage personal data
JavaScript
2
star
97

ocaml-sqlite3-agg

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

idr-IP

Dependently typed DSLs for network protocols
C
2
star
99

opam-pr-build-results

Logs from container builds of PRs
Groff
2
star
100

debian-jessie-backports-opam

Dockerfile that backports OPAM 1.2.2 to Debian Jessie
Shell
2
star