Repository Index

89,073 visible repositories in the index

Filters (1)

Apply

Filters

Primary language

License

Total stars

Last push

Created

Health fact definitions

Archived

25–29 of 29 · Most stars

plclub / lngen

Haskell 34 9

Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott

Haskell 25 2

Tool that allows to write Erlang NIF libraries in Haskell

Haskell 20 6

Haskell library implementing OpenFlow protocol versions 1.0 and 1.3

Haskell 11 0

Initialise scaffolding for a new Elm project

Haskell 2 4

Implementation of Ripple client protocol in Haskell