Search Results - RepositoryStats

3

69

apache-2.0

2

Provides a Refl encoding in Rust

gadt rust type-system propositional-logic

Created 2018-01-28

21 commits to master branch, last one 5 years ago

1

52

other

7

Strongly typed multidimensional array library for OCaml

ppx gadt tensor multidimensional-arrays

Created 2016-05-21

88 commits to master branch, last one about a month ago

6

51

mit

21

Fast implementation of queue in OCaml

gadt ocaml queue

Created 2018-12-11

151 commits to main branch, last one about a year ago