codebruijn

experiments with pext/pdep and codebruijn syntax

BSD-2-CLAUSE License

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

No README available, please check again later.

Related Projects
purescript-interop

Generate Purescript types from Haskell

28 Jan 2016 7
derivative-parsing

Parsing with Derivatives, in Haskell, with GADTs.

06 Mar 2016 5
bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

16 Jun 2012 121
ispc

a small stub for compiling and linking ispc code with haskell

19 Mar 2021 8
monoids

Monoids, specialized containers and a general map/reduce framework

04 Aug 2011 5
haskell-ebml

Pure parser for rfc-8794

19 Jan 2023 4
seq

a µµ̃ calculus with pretty-printing and evaluating interpreters

09 Mar 2022 5
rope

Fingertrees of Bytestrings

14 Jun 2010 19
abelian

Commutative Applicatives and Semigroups

28 Apr 2018 31
cloud-haskell-example

Example application with Cloud Haskell.

27 Jun 2016 5
compiler

some compiler tech

19 Mar 2017 11
ekmett.github.com

haddocks

14 Aug 2011 6
numeric-extras

Missing Numerical Operations

14 Jun 2010 6
type-int

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

14 Jun 2010 4
update

(Co)update (co)monads and right monoid actions

13 Mar 2015 10