rest

A library for rewriting

BSD-3-CLAUSE License

Stars
4
View Code on GitHub
Ecosystems: Haskell

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

Related Projects
hasktran

A compiler for FRACTRAN written in Haskell.

19 Jan 2020 5
mini-haskell

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

21 Nov 2019 61
alga

Algebraic graphs

05 Dec 2016 716
hs-to-coq

Convert Haskell source code to Coq source code.

03 Nov 2020 77
fp-course

Functional Programming Course

30 Jun 2011 1,027
modal-tableau-interpolation

Modal Tableau with Interpolation in Haskell

27 Aug 2020 2
effects

An implementation of "Freer Monads, More Extensible Effects".

09 Aug 2016 20
jace

just another compiler experiment

04 Jan 2017 14
tree-sitter-haskell

Haskell grammar for tree-sitter.

18 Feb 2016 153
tactics

Deep-embedded combinators for strategic rewriting.

09 Dec 2019 15
haskell-study-plan

An opinionated list of resources for learning Haskell

28 Sep 2018 867
bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

16 Jun 2012 121
r5rs-denot

A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.

29 Mar 2019 19
itt

Tiny dependent calculus with inference of irrelevance and erasure

08 Feb 2019 15
free-alacarte

Free monads based on intuitions from the Data types à la Carte paper. Combine functors and make e...

02 Sep 2024 10