Search Results - RepositoryStats

3

68

apache-2.0

3

Provides a Refl encoding in Rust

gadt rust type-system propositional-logic

Created 2018-01-28

21 commits to master branch, last one 4 years ago

1

51

gpl-3.0

8

Strongly typed multidimensional array library for OCaml

ppx gadt tensor multidimensional-arrays

Created 2016-05-21

87 commits to master branch, last one 5 months ago

6

51

mit

22

Fast implementation of queue in OCaml

gadt ocaml queue

Created 2018-12-11

151 commits to main branch, last one 8 months ago