All Categories → No Category → higher-order

Top 4 higher-order open source projects

A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.

✭ 16

haskell shell json schema data-structures quickcheck higher-order

Higher-order "compose" function

✭ 22

javascript higher-order

A library which is not recognized as citizen of any infrastructure.

✭ 26

scala stateless higher-order bx

Model finder for higher-order logic

✭ 40

ocaml Makefile logic sat model-finding cvc4 higher-order hol

1-4 of 4 higher-order projects