-
Open to work
- Sofia, Bulgaria
- abuseofnotation.github.io
- @alexanderkatt
- @abuseofnotation@mathstodon.xyz
- @abuseofnotation@aethy.com
Block or Report
Block or report abuseofnotation
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language: Haskell
Sort by: Most stars
13
stars
written in Haskell
Clear filter
A strongly-typed language that compiles to JavaScript
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…
Agda is a dependently typed programming language / interactive theorem prover.
Haskell 101 and 102: slides and codelabs
Library for functional reactive programming in Haskell.
Source material for Algebra-Driven Design
Incubator for my Haskell libraries