encoding-via

type classes and deriving via for encoding

BSD-3-CLAUSE License

Stars
22
View Code on GitHub View on X
Ecosystems: Haskell

Statistics for this project are still being loaded, please check back later.

Related Projects
th-tc

Poor man's typechecker in Template Haskell

22 Oct 2019 9
simple-haskell-minifier

Simple Haskell Minifier

25 Feb 2023 5
data-diff

An approach to diffing values and records.

29 Nov 2021 7
beginner-error-messages

Informative error messages for common beginner misunderstandings with Haskell

29 Aug 2019 15
codebruijn

experiments with pext/pdep and codebruijn syntax

16 Nov 2019 14
packedbits

are you worried about space? ME TOO! SPACE IS VERY CONCERNING

12 Dec 2017 6
lambda

An exploration and implementation of the lambda calculus.

31 Jan 2016 12
prio

Plucky Runtime IO

14 Oct 2020 13
record-wrangler

Alter datatypes at your leisure!

01 Apr 2019 8
haskell-ebml

Pure parser for rfc-8794

19 Jan 2023 4
type-int

Type level 2's and 16's complement arithmetic (old)

14 Jun 2010 4
unification

implementation of the first order logic unification algorithm in Haskell

09 Dec 2015 6
scotty-persistent-example

Repository to go along with a blog post

02 May 2015 6
purescript-interop

Generate Purescript types from Haskell

28 Jan 2016 7
singleton-typelits

Singletons and induction schemes for GHC TypeLits.

14 Dec 2017 3