A friendly programming language from the future
A feature-rich Unix terminal client for the Mattermost chat system
Functional reactive web and mobile applications, with batteries
The full power of R in Haskell
A modern proof language
Dapp, Seth, Hevm, and more
Carthage cache for S3, Minio, Ceph, Google Storage, Artifactory, etc.
Future-proof note-taking and publishing based on Zettelkasten
Command-line interface for Fission
A command line tool to identify unused code
Haskell bindings for TensorFlow