Haskell is a functional programming language with non-strict semantics, and strong static typing.
There are 10,230 repositories under haskell topic.
The main concordium node implementation.
:dragon: Personal Learning Notes - Today I Learned (TIL)
Efficient, polymorphic Map Algebra in Haskell.
A classical propositional theorem prover in Haskell, using Wang's Algorithm.
Recreating the Unity Roguelike Tutorial project in Haskell
⭐ A performant Nim parsing library built for humans.
Haskell and GLSL program containing my distance field / ray marching related experiments
Haskell Dockerfile parser, pretty-printer and EDSL
Complete full-stack web app with a mu-haskell GraphQL server and an Elm client! 🌳
Smart contracts and specification of the AMM protocol on top of the Cardano blockchain
A cheat sheet for finding similar concepts and operators in different functional languages
Dependently typed convolutional neural networks
Experimental Smart Contracts In Plutus.