GitHub topics: haskell-libraries
ret/specifica
Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)
Language: Haskell - Size: 9.85 MB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 27 - Forks: 2
wavewave/fficxx
Haskell-C++ Foreign Function Interface Generator
Language: Haskell - Size: 5.63 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 143 - Forks: 13
kowainik/validation-selective
💂♂️ Lightweight pure validation based on Applicative and Selective functors
Language: Haskell - Size: 94.7 KB - Last synced at: 4 days ago - Pushed at: 5 months ago - Stars: 67 - Forks: 10
