Blaisorblade/Software-Foundations

Stars
2
Language Coq
License
MIT License
Created over 11 years ago
Updated over 10 years ago

Blaisorblade/Software-Foundations

Blaisorblade

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

Pierce et al.'s Software Foundations book with my solutions

dot-iris

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

abt

Implementing Abstract Binding Trees (in Scala, ...)

Agda-playground

My Agda experiments

hoas-with-names

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

evalFromToAbsMachines

A Functional Correspondence between Evaluators and Abstract Machines

scala19_gadt_code

Support code for our Scala'19 paper on GADTs

git-filter-branch-msgs

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

Bibs

My bibliography files - integrated in other projects using git-subtree

Haskell-Adaptive

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

dotty-map-fusion-staging-experiment

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

Coq-playground

Random Coq experiments

general-purpose-hash-functions

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

phd-thesis

agda-vm-sample

ndot-iris

Abandoned, alternative encodings of https://github.com/Blaisorblade/dot-iris

subtitle-fixer

Adjust SRT subtitles for offset and framerate

secd-lambda-calculus

SECD for lambda calculus. Warning: Force-push on main allowed!

TypesafeSubst

Implement typesafe substitution in Scala

learning-syntactic

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