compstrat

Strategy combinators for compositional data types

BSD-3-CLAUSE License

Stars

View Code on GitHub

Ecosystems: Haskell

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

Related Projects

purescript-interop

Generate Purescript types from Haskell

28 Jan 2016 7

compiling-to-categories-redux

we're TRYING AGAIN with @maybevoid

20 Sep 2019 8

exhaustive

Compile time checks that a computation considers producing data through all possible constructors

09 Jan 2015 10

charm

(Eventually) a reasonably complete ARM implementation in Haskell

15 Feb 2009 14

thih

typing haskell in haskell

18 Sep 2022 13

combinator-interactive

06 Sep 2013 3

mini-haskell

A self-hosting mini Haskell compiler with a mini C runtime.

21 Nov 2019 61

type-int

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

14 Jun 2010 4

codebruijn

experiments with pext/pdep and codebruijn syntax

16 Nov 2019 14

simple-haskell-minifier

Simple Haskell Minifier

25 Feb 2023 5

compiling-to-assembly

26 Jul 2022 5

ecta

Please see the README on GitHub at https://github.com/jkoppel/ecta#readme

14 Jun 2021 33

comptrans

Translation of ASTs into multi-sorted compositional data types

27 Jun 2013 4

kleisli-functors

15 Oct 2016 7

hagll

GLL Parsing as Haskell parsing combinators

01 Mar 2010 4