• Stars
    star
    1
  • Language
    OCaml
  • Created about 8 years ago
  • Updated over 6 years ago

Reviews

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

Repository Details

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

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

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