Octachron/rational_in_types Octachron/rational_in_types

  • Stars
    star
    22
  • Rank 1,048,934 (Top 21 %)
  • Language
    OCaml
  • Created over 8 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Octachron/rational_in_types
github

Octachron

Reviews

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

Repository Details

Type-level rational puzzles in OCaml

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

talaria_bibtex

A bibtex file parser
OCaml
21
star
6

typed-musings

Exploring the corners of OCaml type system
OCaml
20
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