• Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language
    OCaml
  • License
    GNU General Publi...
  • Created about 4 years ago
  • Updated over 2 years ago

Reviews

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

Repository Details

A program launcher for Wayland

More Repositories

1

labrys

A toy language based on LLVM that implements the System Fω type-system
OCaml
101
star
2

ocaml-monomorphic

A small library used to shadow polymorphic operators (and functions) contained in the stdlib.
OCaml
29
star
3

mastodon-archive-viewer

View your Mastodon archive offline
OCaml
24
star
4

opam-grep

Script that greps anything in the sources of every opam packages
OCaml
24
star
5

opam-alpha-repository

A test opam overlay containing packages compatible with the next release of the OCaml compiler
Shell
15
star
6

opam-build

Experimental opam plugin
OCaml
15
star
7

ocaml-activitypub

A dedicated ActivityPub/ActivityStreams parser and generator for OCaml
OCaml
14
star
8

llvm-dune

The official LLVM OCaml binding but built using dune
Shell
12
star
9

yummy

[unreleased] A parser and generator library for a simple subset of YAML in pure OCaml
OCaml
12
star
10

ocamldap

Ocamldap is an implementation of the Light Weight Directory Access Protocol
OCaml
11
star
11

camllzma

OCaml binding to liblzma [EXPERIMENTAL]
C
9
star
12

why3

An unofficial mirror of Why3 (http://why3.lri.fr/)
Coq
8
star
13

spdx_licenses

OCaml
6
star
14

ocaml-platform-readiness

Experimental script to keep track of the status of various key OCaml packages
Shell
5
star
15

harrop-minml

Origin: https://groups.google.com/forum/#!msg/fa.caml/i6IgSFX8XkY/4khF8z1V7loJ
OCaml
5
star
16

mirage-news

OCaml
5
star
17

mirage-ping

This project ships two MirageOS unikernels to keep track of my server which has a dynamic IP
OCaml
5
star
18

visitors

Mirror of https://gitlab.inria.fr/fpottier/visitors
OCaml
5
star
19

ocaml-timeout

WIP
C
4
star
20

ocamlbuild-pkg

[DEPRECATED] An ocamlbuild plugin that helps packaging softwares
OCaml
4
star
21

coq-playground

Playing with Coq…
Coq
3
star
22

camlbz2

https://gitlab.com/irill/camlbz2
C
3
star
23

llopt

Just a tiny LLVM-IR optimizer for testing stuff
OCaml
3
star
24

mirage-torrent

WIP
OCaml
3
star
25

otig

Experimental stuff with an experimental ocaml-git
OCaml
3
star
26

ocaml-docker-hub

An OCaml library aiming to provide data from hub.docker.com
OCaml
3
star
27

plaintext-server

OCaml
2
star
28

ocaml-release-script

A simple release script using dune-release + opam-publish because dune-release does not work
Shell
2
star
29

minimal_http

OCaml
2
star
30

delimcc

A temporary fork of http://okmij.org/ftp/continuations/implementations.html#caml-shift
C
2
star
31

opam-overlay

My personal opam overlay repository
1
star
32

feed-filter-example

An OCaml example program that allows you to filter atom feeds entries using Syndic
OCaml
1
star
33

lib-pxp

Fork of https://gitlab.com/gerdstolpmann/lib-pxp
OCaml
1
star
34

lld-playground

Playing with LLD (LLVM native linker)
C++
1
star
35

js_of_ocaml-example

Small example for a friend
OCaml
1
star
36

asahi-tips

1
star
37

exn.st

https://exn.st
OCaml
1
star
38

ocaml-tar-playground

OCaml
1
star