• Stars
    star
    20
  • Rank 1,121,974 (Top 23 %)
  • Language
    OCaml
  • Created over 3 years ago
  • Updated about 3 years ago

Reviews

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

Repository Details

Exploring the corners of OCaml type system

More Repositories

1

codept

Contextual Ocaml DEPendencies Tool: alternative ocaml dependency analyzer
OCaml
59
star
2

tensority

Strongly typed multidimensional array library for OCaml
OCaml
52
star
3

olivine

Ocaml binding generator for vulkan
OCaml
40
star
4

orec

Open records implemented using map over universal type
OCaml
34
star
5

rational_in_types

Type-level rational puzzles in OCaml
OCaml
22
star
6

talaria_bibtex

A bibtex file parser
OCaml
21
star
7

harmatia

"Prettify" ocaml compiler error messages
OCaml
18
star
8

phantom_algebra

Small tensor library a la GLSL
OCaml
17
star
9

format-doc

Alternative interpreter for OCaml format strings
OCaml
15
star
10

ffmt

Format string experimentations
OCaml
13
star
11

ppx_listlike

ocaml ppx extension for using list literals with custom types
OCaml
10
star
12

babilim

Localization plugin for OCaml
OCaml
9
star
13

more_ocaml_warnings

OCaml compiler plugins for adding new warnings
OCaml
9
star
14

ocaml-perfomance-monitoring

Statistical analysis of OCaml compiler compilation time
OCaml
9
star
15

ppx_indexop

ppx extension to ease the use of custom access operator across ocaml versions
OCaml
5
star
16

ocaml_buffer_benchmarks

Benchmarking buffer implementations
OCaml
4
star
17

oceti

A disparate collection of experimental data structures
OCaml
4
star
18

ocaml-vulkan-kernel

Basic ocaml types for vulkan and GUI libraries
OCaml
3
star
19

ocaml-aspell

Partial binding to gnu aspell spell checker C API
OCaml
2
star
20

ocaml-changelog-analyzer

OCaml
2
star
21

datagrade

Prototype for gradually typed dataframes
OCaml
1
star
22

ocaml-lexer-microbenchmarks

Microbenchmarks for the OCaml lexer
OCaml
1
star