G
GHC
Tool3 projects5.8k total stars408 total forks1 language
Open-source projects built with GHC
There are currently 3 open-source projects built with GHC, with a combined total of 5.8k GitHub stars. The most common language among these projects is Haskell.
Showing 3 open-source projects
Misodmjio/miso
A small, production-ready, reactive Haskell front-end framework for building interactive single-page web and mobile applications.
2.4k162Haskell
8 days ago
corrodejameysharp/corrode
An automatic semantics-preserving translator that converts C source code into equivalent Rust syntax.
2.2k117Haskell
7 years ago
cryptolGaloisInc/cryptol
A domain-specific language for specifying, implementing, and verifying cryptographic algorithms with executable formal specifications.
1.2k129Haskell
2 days agoCommunity-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.