#
Starred repositories
10
results
for source starred repositories
written in Haskell
Clear filter
A strongly-typed language that compiles to JavaScript
A Dependently Typed Functional Programming Language
Agda is a dependently typed programming language / interactive theorem prover.
A RESTful Haskell web framework built on WAI.
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.
Easy instructions for setting up Haskell editors / IDEs on any major operating system.