sergei-romanenko/chapman-normalization-delay-monad sergei-romanenko/chapman-normalization-delay-monad

  • Stars
    star
    1
  • Language Agda
  • Created over 8 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sergei-romanenko/chapman-normalization-delay-monad
github

sergei-romanenko

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Normalization by evaluation in the delay monad (formalized in Agda)

More Repositories

1

spsc

SPSC: A Small Positive Supercompiler
Scala
32
star
2

agda-simple-scp

A simple supercompiler formally verified in Agda
Agda
28
star
3

staged-mrsc-agda

Staged multi-result supercompilation (a model in Agda)
Agda
12
star
4

agda-samples

A collection of samples in Agda
Agda
10
star
5

spsc-scala

A Small Positive Supercompiler in Scala
Scala
6
star
6

agda-miscellanea

Experiments with Agda
Agda
5
star
7

agda-Ramsey-theorem

Intuitionistic Ramsey theorem (a proof in Agda)
Agda
5
star
8

unmix

A simple program specializer (based on partial evaluation) for a subset of Scheme. It includes a binding time analyzer, a residual program generator and an arity raiser. Imported from Google Code.
Scheme
4
star
9

agda-almost-full

Almost-full relations: an Agda version for "Stop when you are almost-full"
Agda
4
star
10

spsc-idris

A Small Positive Supercompiler in Idris
Idris
3
star
11

chapman-big-step-normalization

Big-step normalization (formalized in Agda)
Agda
3
star
12

spinalhdl-samples

Some experiments with SpinalHDL
Scala
3
star
13

sat4j-experiments

Experiments with Sat4j.
Scala
2
star
14

mrsc-trs

Domain-specific supercompilation for transition systems (based on the MRSC toolkit).
Scala
2
star
15

agda-Higman-lemma

Constructive proofs of Higman’s lemma formalized in Agda
Agda
2
star
16

mrsct

A variation of mrsc based on traits + self-types
Scala
2
star
17

scp-notes-ru

Notes on supercompilation (in Russian). The sources for the site
2
star
18

idris-samples

A collection of samples in Idris
Idris
2
star
19

idris-norm-by-traversals

Traversal-based normalization for ULC
Idris
2
star
20

sergei-romanenko.github.io

The sources for the site
1
star
21

agda-hsubst-revised

Hereditary substitutions for simple types (revised)
1
star
22

agda-normalization

Normalization by evaluation and big-step normalization formalized in Agda
Agda
1
star
23

staged-mrsc-idris2

Staged multi-result supercompilation (in Idris2)
Idris
1
star