• Stars
    star
    21
  • Rank 1,084,038 (Top 22 %)
  • Language
    OCaml
  • License
    Other
  • Created over 7 years ago
  • Updated about 2 years ago

Reviews

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

Repository Details

Regular languages in types

More Repositories

1

tyre

Typed Regular Expressions
OCaml
165
star
2

furl

Formatted url
OCaml
49
star
3

ocaml-lmdb

Ocaml bindings for lmdb.
OCaml
48
star
4

bytepdf

A tool to create PDFs that are also OCaml bytecodes
OCaml
41
star
5

tree_layout

Algorithms to layout trees in a pretty manner.
OCaml
37
star
6

dowsing

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

modulectomy

Dissect OCaml compiled programs, and weight their content
OCaml
26
star
8

LILiS

L-system interpreter in OCaml
OCaml
23
star
9

llvmgraph

Ocamlgraph overlay for llvm
OCaml
20
star
10

functoria-lua

Building Lua interpreters with lot's of functors
OCaml
14
star
11

fugit

A small CLI to launch notifications at a given time
OCaml
14
star
12

pl-experiments

JavaScript
11
star
13

zarith-ppx

Literals for Zarith's arbitrary-precision integers and rationals
OCaml
11
star
14

adtr

OCaml
9
star
15

peahell

L'enfer des pois
OCaml
8
star
16

No

No.
OCaml
8
star
17

polyocamlbyte

A pdf file which is an ocaml bytecode which is a png of the logo of OCaml.
TeX
6
star
18

functoria-lwt

A minimal example of a functoria-based eDSL for lwt-based applications.
OCaml
6
star
19

oct

WIP Experiments with value printers for fancier toplevels.
OCaml
5
star
20

opam-dot

A simple command to show the graph of dependencies of a package.
OCaml
4
star
21

regular_bazar

OCaml
4
star
22

cap-lab22

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

evePI

A small project about planetary interaction in Eve Online and an excuse to code in Eliom
OCaml
4
star
24

oasis_format

A standalone parser for the oasis format
OCaml
3
star
25

LILiS.jsoo

Js_of_ocaml interface for LILiS
OCaml
3
star
26

stellaris_tools

Collection of tools for stellaris
OCaml
3
star
27

empty

The empty (OCaml) project
OCaml
3
star
28

module-experiments

TeX
2
star
29

cap-labs21

Student git for 2021-22 (CAP, ENS de Lyon, France)
Python
2
star
30

eveliom

An Eliom library for Eve Online
OCaml
2
star
31

stellaris_academia

Stellaris mod to add a bit of flavor and customization to research and scientists.
AMPL
1
star
32

paradox.el

Emacs mode to edit paradox mod files
Emacs Lisp
1
star