• Stars
    star
    1
  • Language
    OCaml
  • Created 11 months ago
  • Updated 11 months ago

Reviews

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

Repository Details

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

waylaunch

A program launcher for Wayland
OCaml
9
star
12

camllzma

OCaml binding to liblzma [EXPERIMENTAL]
C
9
star
13

why3

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

spdx_licenses

OCaml
6
star
15

ocaml-platform-readiness

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

harrop-minml

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

mirage-news

OCaml
5
star
18

mirage-ping

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

visitors

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

ocaml-timeout

WIP
C
4
star
21

ocamlbuild-pkg

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

coq-playground

Playing with Coq…
Coq
3
star
23

camlbz2

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

llopt

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

mirage-torrent

WIP
OCaml
3
star
26

otig

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

ocaml-docker-hub

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

plaintext-server

OCaml
2
star
29

ocaml-release-script

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

minimal_http

OCaml
2
star
31

delimcc

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

opam-overlay

My personal opam overlay repository
1
star
33

feed-filter-example

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

lib-pxp

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

lld-playground

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

js_of_ocaml-example

Small example for a friend
OCaml
1
star
37

asahi-tips

1
star
38

exn.st

https://exn.st
OCaml
1
star