Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Home / Developers / lpeterse
Developer Profile

lpeterse

Discovered public repositories for lpeterse in the GitHub catalog.

↗

lpeterse/ebf

(currently unmaintained) library for binary serialization

↗

lpeterse/typeable

(unmaintained/historical) Typeable aims to be a collection of Haskell's algebraic datatypes and is able to generate code for various purposes.

↗

lpeterse/binary-generic

Haskell package making it easy to serialize any kind of data with the binary package. Just derive 'Data' and you're done!

↗

lpeterse/crprover

(unmaintaned/historical) A prover for propositional logic in a sequence calculus written in Haskell

FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.