Giters
Kazutaka Matsuda (kztk-m)

kztk-m

Geek Repo

5

followers

0

following

13

stars

Github PK Tool:Github PK Tool

Kazutaka Matsuda's repositories

sparcl

Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/

Language:HaskellLicense:BSD-3-ClauseStargazers:9Issues:2Issues:3

sparcl-agda

A proof-of-concept implementation of sparcl in Agda, in an intricately-typed style

Language:AgdaLicense:BSD-3-ClauseStargazers:2Issues:2Issues:0

EbU

An implementation of the ICFP 2023 paper "Embedding by Unembedding", extracted from its artifact

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

EbU-examples

Proof-of-concept examples of Embedding-by-Unembedding

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

flippre

Imported from Bitbucket for its sunsetting support of Mercurial.

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:1Issues:1

EILC

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:0Issues:0

icfp2020-captions

Stargazers:0Issues:0Issues:0

proenb-csharp

Language:HTMLStargazers:0Issues:0Issues:0

proenb-csharp-websrc

Language:CSSStargazers:0Issues:1Issues:37

sumiilab-tex

東北大学 住井研究室のステキな TeX ファイルたち

Language:TeXStargazers:0Issues:0Issues:0

synbit

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

to_understand_arrow

Agda code to show the profunctor-based arrow definition satisfies the arrow laws that does not involve `first`.

Language:AgdaLicense:MITStargazers:0Issues:1Issues:0