Gabriel Radanne (Drup)

Drup

Geek Repo

Company:Inria

Location:Lyon

Home Page:https://drup.github.io/

Github PK Tool:Github PK Tool


Organizations
mirage
ocaml-community
ocsigen
termite-analyser

Gabriel Radanne's repositories

tyre

Typed Regular Expressions

Language:OCamlLicense:ISCStargazers:167Issues:10Issues:7

ocaml-lmdb

Ocaml bindings for lmdb.

Language:OCamlLicense:MITStargazers:47Issues:6Issues:10

bytepdf

A tool to create PDFs that are also OCaml bytecodes

Language:OCamlStargazers:41Issues:4Issues:0

tree_layout

Algorithms to layout trees in a pretty manner.

Language:OCamlLicense:ISCStargazers:37Issues:6Issues:3

dowsing

áš› A type of divination employed in attempts to locate identifiers matching a given type expression

Language:OCamlLicense:ISCStargazers:35Issues:6Issues:16

modulectomy

Dissect OCaml compiled programs, and weight their content

fugit

A small CLI to launch notifications at a given time

Language:OCamlLicense:ISCStargazers:14Issues:3Issues:1
Language:JavaScriptStargazers:11Issues:4Issues:0

zarith-ppx

Literals for Zarith's arbitrary-precision integers and rationals

Language:OCamlLicense:ISCStargazers:11Issues:3Issues:0
Language:OCamlLicense:ISCStargazers:9Issues:4Issues:0

peahell

L'enfer des pois

Language:OCamlLicense:NOASSERTIONStargazers:8Issues:3Issues:0

cap-lab22

Student git for 2022-23 (CAP, ENS de Lyon, France)

Language:PythonLicense:GPL-3.0Stargazers:4Issues:4Issues:0
Language:OCamlLicense:ISCStargazers:3Issues:2Issues:0

cap-labs21

Student git for 2021-22 (CAP, ENS de Lyon, France)

Language:PythonLicense:GPL-3.0Stargazers:2Issues:3Issues:0

opam-repository

Package descriptions for OPAM

Language:ShellLicense:CC0-1.0Stargazers:1Issues:3Issues:0

cap-lab23

Student git for 2023-24 (CAP, ENS de Lyon, France)

Language:PythonLicense:GPL-3.0Stargazers:0Issues:4Issues:1
Language:CSSStargazers:0Issues:4Issues:0

lwd

Lightweight document

Language:OCamlLicense:MITStargazers:0Issues:2Issues:0

merlin

Context sensitive completion for OCaml in Vim and Emacs

Language:OCamlLicense:MITStargazers:0Issues:2Issues:0

mirage

Cloud programming platform

Language:OCamlStargazers:0Issues:4Issues:0

ocaml

Read-only mirror of INRIA SVN

Stargazers:0Issues:3Issues:0

ocamldot

Parsing and printing graphviz files in OCaml

Language:OCamlLicense:LGPL-3.0Stargazers:0Issues:2Issues:0

ocp-index

Easy access to the interface information of installed OCaml libraries for editors like Emacs and Vim.

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:3Issues:0

odoc

OCaml documentation generator

Language:OCamlLicense:ISCStargazers:0Issues:2Issues:0

pp

Pretty printing library

Language:OCamlLicense:MITStargazers:0Issues:2Issues:0

reason

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

Language:OCamlLicense:MITStargazers:0Issues:2Issues:0

timere

Time reasoning/regex-ish library in OCaml

Language:OCamlLicense:MITStargazers:0Issues:2Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:0Issues:3Issues:0