sergei-romanenko/idris-norm-by-traversals sergei-romanenko/idris-norm-by-traversals

  • Stars
    star
    2
  • Language Idris
  • Created almost 7 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sergei-romanenko/idris-norm-by-traversals
github

sergei-romanenko

Reviews

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

Repository Details

Traversal-based normalization for ULC

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

chapman-normalization-delay-monad

Normalization by evaluation in the delay monad (formalized in Agda)
Agda
1
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