Stars
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
A strongly-typed language that compiles to JavaScript
Compiler for Elm, a functional language for reliable webapps.
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…
A RESTful Haskell web framework built on WAI.
The Eta Programming Language, a dialect of Haskell on the JVM
Haskell to VHDL/Verilog/SystemVerilog compiler
A statically typed concatenative systems programming language.
A programming language with static memory management based on λ-calculus
A peer-to-peer stack for code collaboration
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
Another Haskell web framework for rapid development
Haskoin Core is a Bitcoin and Bitcoin Cash library
Top-level package for the official Snap Framework libraries, includes the snaplets API as well as infrastructure for sessions, auth, and templates.
A simple FRP library providing leak-free first-class streams.
Highlighting support for the Haskell language in visual studio code.
Haskoin Store is a blockchain storage service with a RESTful API
Haskoin Node is a Bitcoin and Bitcoin Cash peer-to-peer protocol library
Bitcoin script compilation, manipulation and decompilation
Bitcoin payment channel library
Smart contract language for electronic cash (Bitbucket mirror)
Symbolic verification of Bitcoin's output scripts