Repository Index

71,372 visible repositories in the index

Filters (1)

Apply

Filters

Primary language

License

Total stars

Last push

Created

Health fact definitions

Archived

1–3 of 3 · Most stars

HigherOrderCO / Kind

Haskell 3.8K 152

A modern proof language

Haskell 492 58

Functional Reactive Programming domain-specific language for efficient hybrid systems

Haskell 80 6

Experimental Malfunction backend for Idris