Blaisorblade/Agda-playground Blaisorblade/Agda-playground

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language Agda
  • Created almost 12 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Blaisorblade/Agda-playground
github

Blaisorblade

Reviews

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

Repository Details

My Agda experiments

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

hoas-with-names

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

evalFromToAbsMachines

A Functional Correspondence between Evaluators and Abstract Machines
Haskell
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