kino3 Goto Github PK

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

asac

ASsurance as Code

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.

lexicography

logic-in-is

Formalise "Logic in Information Science" (Japanese Book) in Agda

logic_is_agda

luatex-ja

A Challenge to write unicode char and Japanese char by LuaTeX-ja package.

mini-tt

mirror of A simple type-theoretic language: Mini-TT

mmix

Knuth's MMIX Assembly code

open-simulation-interface

A generic interface for the environmental perception of automated driving functions in virtual scenarios.

pimltt

Formalization of "Programming in Martin-Löf's Type Theory".

rails

Ruby on Rails

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