Shuji Kinoshita's repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-relation-algebra
Relational algebra implementation in Agda with simple bindings to SQLITE
alexa-skill-sdk-for-azure-function
Alexa skill sdk for Node.js for azure function
category
Category Theory in Agda
dtpa
Examples and answer of exercises for the paper "Dependently typed programming in Agda"
ku-is-thesis-tmpl-en
An unofficial LaTeX template for your doctoral dissertation of Graduate School of Science, Kanagawa University.
logic-in-IS
Formalise "Logic in Information Science" (Japanese Book) in Agda
luatex-ja
A Challenge to write unicode char and Japanese char by LuaTeX-ja package.
open-simulation-interface
A generic interface for the environmental perception of automated driving functions in virtual scenarios.
scenario_runner
Traffic scenario definition and execution engine
toys
Toy Programs for my study.
web
My website.
world
Formalization of Granstrom's world and world map in Agda