Lyon

Gabriel Radanne

Advanced
@Drup

CS Researcher. I complain about languages.

tyre. Typed Regular Expressions

183

furl. Formatted url

50

ocaml-lmdb. Ocaml bindings for lmdb.

49

bytepdf. A tool to create PDFs that are also OCaml bytecodes

42

dowsing. ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression

39

tree_layout. Algorithms to layout trees in a pretty manner.

36

modulectomy. Dissect OCaml compiled programs, and weight their content

26

LILiS. L-system interpreter in OCaml

21

pumping. Regular languages in types

21

llvmgraph. Ocamlgraph overlay for llvm

20

fugit. A small CLI to launch notifications at a given time

14

functoria-lua. Building Lua interpreters with lot's of functors

13

zarith-ppx. Literals for Zarith's arbitrary-precision integers and rationals

13

pl-experiments. JavaScript

12

adtr. OCaml

9

No. No.

7

peahell. L'enfer des pois

7

functoria-lwt. A minimal example of a functoria-based eDSL for lwt-based applications.

4

oct. WIP Experiments with value printers for fancier toplevels.

4

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

4

evePI. A small project about planetary interaction in Eve Online and an excuse to code in Eliom

4

polyocamlbyte. A pdf file which is an ocaml bytecode which is a png of the logo of OCaml.

4

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

3

regular_bazar. OCaml

3

empty. The empty (OCaml) project

3

opam-dot. A simple command to show the graph of dependencies of a package.

3

oasis_format. A standalone parser for the oasis format

2

llvm. Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated hourly.

2

FunctionalProgramming2017. Support repository for the functional programming lecture (Haskell)

2

stellaris_tools. Collection of tools for stellaris

2

module-experiments. TeX

2

cap-lab24. Python

2

LILiS.jsoo. Js_of_ocaml interface for LILiS

2

opam. OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

1

drup.github.io. CSS

1

ocaml-uri. RFC3986 URI parsing library for OCaml

1

stellaris_academia. Stellaris mod to add a bit of flavor and customization to research and scientists.

1
37
Apply