Beast code in Giters

Maštarija's repositories

Simple and powerful data validation library with Applicative and Monad interface.

Language:HaskellMIT18 2 2

Create custom text and code snippets, and attach them to hooks or use them as short codes, along with programmable display rules.

Language:PHPGPL-3.0100

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellNOASSERTION000

NixOS configuration

000

Haskell library for preserving data structures in standard HTML forms.

Language:HaskellMIT000

My GitHub profile README!

000

Language:Haskell000

When the type safety is simply not what you need.

Language:HaskellMIT000

When you just want to take the damn screenshot without pulling down the whole Hackage to your machine.

Language:CMIT000

My NixOS dot files

Language:Nix000

SVG loader/serializer for Haskell

Language:HaskellBSD-3-Clause000