kztk-m

Pinned Repositories

EbU
An implementation of the ICFP 2023 paper "Embedding by Unembedding", extracted from its artifact
Language:Haskell1 1 40
EbU-examples
Proof-of-concept examples of Embedding-by-Unembedding
Language:Haskell1 1 00
EILC
Language:HTML0 2 10
flippre
Imported from Bitbucket for its sunsetting support of Mercurial.
Language:Haskell1 1 81
sparcl
Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/
Language:Haskell11 2 31
sparcl-agda
A proof-of-concept implementation of sparcl in Agda, in an intricately-typed style
Language:Agda2 2 00

kztk-m's Repositories

kztk-m/sparcl
Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/
Language:Haskell11 2 31
kztk-m/sparcl-agda
A proof-of-concept implementation of sparcl in Agda, in an intricately-typed style
Language:Agda2 2 00
kztk-m/EbU
An implementation of the ICFP 2023 paper "Embedding by Unembedding", extracted from its artifact
Language:Haskell1 1 40
kztk-m/EbU-examples
Proof-of-concept examples of Embedding-by-Unembedding
Language:Haskell1 1 00
kztk-m/flippre
Imported from Bitbucket for its sunsetting support of Mercurial.
Language:Haskell1 1 81
kztk-m/EILC
Language:HTML0 2 10
kztk-m/icfp2020-captions
0 0 00
kztk-m/proenb-csharp
Language:HTML0 1 00
kztk-m/proenb-csharp-websrc
Language:CSS0 1 380
kztk-m/sumiilab-tex
東北大学住井研究室のステキな TeX ファイルたち
Language:TeX0 0 00
kztk-m/implicit-hie
Auto generate a stack or cabal multi component hie.yaml file
Language:Haskell0 0
kztk-m/kztk-m
1 0
kztk-m/pai
An implementation of our ESOP 2010 paper "A Grammar-based Approach to Invertible Programs"
Language:Haskell1 0
kztk-m/synbit
Language:Haskell0 0
kztk-m/to_understand_arrow
Agda code to show the profunctor-based arrow definition satisfies the arrow laws that does not involve `first`.
Language:Agda1 0