Armael/minicooper

Stars
3
Rank 3,963,521 (Top 79 %)
Language Coq
License
GNU Lesser Genera...
Created about 6 years ago
Updated over 5 years ago

Armael/minicooper

Armael

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

A Coq tactic for quantifier elimination in linear arithmetic

papiers

A tool to index your papers/interesting links/... and quickly search through them

pp_loc

Pretty-printing for error source locations

ocaml-i3ipc

A pure OCaml implementation of the i3 IPC protocol

conch

coq-procrastination

A small Coq library for collecting side conditions and deferring their proof

stone

A simple static website generator, written in OCaml

ocaml-wlc

Experimental OCaml bindings for Wlc

lam

gal

A simple photo gallery webapp

cdcl

ocaml-kittyimg

Implementation of kitty's terminal graphics protocol

pixels

a shared pixel display controllable via TCP

doggybag

take-away binaries

ocaml-loliwm

Translation of loliwm (https://github.com/Cloudef/loliwm) in OCaml

marracheck

Gotta check them all!

ocaml-libudev

Bindings to libudev for OCaml

tyxml-translator

A sugar-coated translation from HTML to Tyxml combinators

ocaml-nanosvg

NanoSVG + OCaml bindings

pong-matelight

A client-server pong game for the Mate-Light

jsoo-memgraph-toplevel

ocaml-xkbcommon

OCaml bindings to xkbcommon [wip]

ocaml-mcwayface

OCaml clone of https://github.com/SirCmpwn/mcwayface

reverse-ffi-demo

scribouillitest

Mon site Scribouilli

menu

aoc

ocaml-weechat-relay

i3-assistant

autowt

Use at your own risk

gen_js_api_helloworld

menu-workspaces

mini-bind-mounts

BatOptParse_example

An example illustrating the use of BatOptParse for command-line option parsing