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

Reviews

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

Repository Details

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

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

rumprun-osx

Build Rumprun toolchain for OSX
Shell
5
star
55

ocaml-lwip

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

ocaml-lwt-json-logger

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

xen-unstable

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

fable

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

perscon.net

Web pages for perscon.net
HTML
5
star
60

hesternus

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

ocaml-icalendar

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