kit-ty-kate/coq-playground

Stars
3
Rank 3,963,521 (Top 79 %)
Language Coq
Created almost 10 years ago
Updated over 7 years ago

kit-ty-kate/coq-playground

kit-ty-kate

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

Playing with Coq…

labrys

A toy language based on LLVM that implements the System Fω type-system

ocaml-monomorphic

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

mastodon-archive-viewer

View your Mastodon archive offline

opam-grep

Script that greps anything in the sources of every opam packages

opam-alpha-repository

A test opam overlay containing packages compatible with the next release of the OCaml compiler

opam-build

Experimental opam plugin

ocaml-activitypub

A dedicated ActivityPub/ActivityStreams parser and generator for OCaml

llvm-dune

The official LLVM OCaml binding but built using dune

yummy

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

ocamldap

Ocamldap is an implementation of the Light Weight Directory Access Protocol

waylaunch

A program launcher for Wayland

camllzma

OCaml binding to liblzma [EXPERIMENTAL]

why3

An unofficial mirror of Why3 (http://why3.lri.fr/)

spdx_licenses

ocaml-platform-readiness

Experimental script to keep track of the status of various key OCaml packages

harrop-minml

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

mirage-news

mirage-ping

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

visitors

Mirror of https://gitlab.inria.fr/fpottier/visitors

ocaml-timeout

ocamlbuild-pkg

[DEPRECATED] An ocamlbuild plugin that helps packaging softwares

camlbz2

https://gitlab.com/irill/camlbz2

llopt

Just a tiny LLVM-IR optimizer for testing stuff

mirage-torrent

otig

Experimental stuff with an experimental ocaml-git

ocaml-docker-hub

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

plaintext-server

ocaml-release-script

A simple release script using dune-release + opam-publish because dune-release does not work

minimal_http

delimcc

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

opam-overlay

My personal opam overlay repository

feed-filter-example

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

lib-pxp

Fork of https://gitlab.com/gerdstolpmann/lib-pxp

lld-playground

Playing with LLD (LLVM native linker)

js_of_ocaml-example

Small example for a friend

asahi-tips

exn.st

ocaml-tar-playground