Blaisorblade/evalFromToAbsMachines Blaisorblade/evalFromToAbsMachines

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
    Haskell
  • Created over 9 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Blaisorblade/evalFromToAbsMachines
github

Blaisorblade

Reviews

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

Repository Details

A Functional Correspondence between Evaluators and Abstract Machines

More Repositories

1

dot-iris

Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
HTML
31
star
2

abt

Implementing Abstract Binding Trees (in Scala, ...)
Scala
19
star
3

Agda-playground

My Agda experiments
Agda
11
star
4

hoas-with-names

Represent functions using higher-order abstract syntax (HOAS) *using macros to save names*
Scala
8
star
5

scala19_gadt_code

Support code for our Scala'19 paper on GADTs
Scala
3
star
6

git-filter-branch-msgs

Update mentions of hashes in commits messages — for git-filter-branch. In Scala.
Shell
3
star
7

Bibs

My bibliography files - integrated in other projects using git-subtree
TeX
2
star
8

Haskell-Adaptive

Haskell library for incremental computing. Fork of http://hackage.haskell.org/package/Adaptive-0.22
Haskell
2
star
9

dotty-map-fusion-staging-experiment

Answering https://users.scala-lang.org/t/implementing-map-fusion-with-dotty-macros/5791/4
Scala
2
star
10

Software-Foundations

Pierce et al.'s Software Foundations book with my solutions
Coq
2
star
11

Coq-playground

Random Coq experiments
Coq
1
star
12

general-purpose-hash-functions

Mirror of C implementation from http://www.partow.net/programming/hashfunctions/
C
1
star
13

phd-thesis

TeX
1
star
14

agda-vm-sample

Shell
1
star
15

ndot-iris

Abandoned, alternative encodings of https://github.com/Blaisorblade/dot-iris
Coq
1
star
16

subtitle-fixer

Adjust SRT subtitles for offset and framerate
Scala
1
star
17

secd-lambda-calculus

SECD for lambda calculus. Warning: Force-push on main allowed!
Haskell
1
star
18

TypesafeSubst

Implement typesafe substitution in Scala
Scala
1
star
19

learning-syntactic

Reimplementing http://hackage.haskell.org/package/syntactic so that I can learn it. Not for use.
Haskell
1
star