-
-
-
s Public
Kripke semantics for strong functors
-
-
k Public
Meta-theory and normalization for Fitch-style modal lambda calculi
-
-
-
nbe-edsl Public
Normalization by Evaluation for Embedded Domain-specific Languages
-
-
-
gluetn Public
Normalization for Gödel's system T using a glueing model construction
-
ChalmersSecurity Public
Forked from Niteo/ChalmersSecuritytemporal storage while re-designing a new page
JavaScript MIT License UpdatedOct 29, 2020 -
ni-nbe Public
Forked from carlostome/ni-nbeNoninterference by normalization (by evaluation)
Agda UpdatedJun 25, 2020 -
bufferedis Public
An asynchronous write buffer for Redis using Jedis client
-
nbe-stlc Public
Normalization by Evaluation for STLC with sums (no proof of correctness, shame! shame! shame!)
-
-
-
stlc-nbe Public
Forked from AndrasKovacs/stlc-nbeCorrectness of normalization-by-evaluation for STLC
Agda UpdatedOct 1, 2019 -
-
nbe-monadic Public
Experiments with NbE for all sorts of funky monadic extensions of STLC
-
-
dat037-2018-exercises Public
http://www.cse.chalmers.se/edu/year/2018/course/DAT037_Datastrukturer/
Java UpdatedJan 5, 2019 -
-
papers-we-love.github.io Public
Forked from papers-we-love/papers-we-love.github.ioOfficial Papers We Love site
CSS UpdatedOct 18, 2018 -
mt Public
Master thesis on developing a static type checker for Erlang
-
ipl Public
Forked from andreasabel/iplAgda formalization of Intuitionistic Propositional Logic
Agda The Unlicense UpdatedJul 23, 2018 -
-
-
molr-core Public
A task delegation framework. Migrated to https://github.com/molr/molr-remote
Java UpdatedAug 15, 2017 -
Olifant Public
Forked from jaseemabid/OlifantA simple lambda calculus like language targeting LLVM
Haskell BSD 3-Clause "New" or "Revised" License UpdatedAug 5, 2017