xekoukou

Apostolis Xekoukoulotakis's repositories

agda-ocaml

OCaml backend for Agda

Language:HaskellBSD-3-Clause8 3 16

mirage-agda-examples

Examples from mirage-skeleton in Agda.

Language:AgdaMPL-2.06 30

Experimenting-with-GT

Language:Smalltalk1 10

sparrow

Language:JavaScriptNOASSERTION1 2 3

Agtor

Language:AgdaAGPL-3.002 11

LTL

Linear Temporal Logic (in Agda)

Language:AgdaAGPL-3.002 1

TLA_v3

Language:AgdaAGPL-3.0020

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellNOASSERTION02 1

agda-conduit

MIT020

agda-nofib

Benchmark programs for Agda

Language:Agda020

agda-prelude

Programming library for Agda

Language:AgdaMIT020

agda-stdlib

The Agda standard library

Language:AgdaNOASSERTION020

AgdaScript

Language:AgdaMPL-2.0020

cubical

An experimental library for Cubical Agda

Language:AgdaMIT010

econ_simul_1

Language:JavaScript02 1

Experimenting-with-Matrix

AGPL-3.0010

final-pfin

Language:Agda010

hello

Language:Nix020

HL5

Language:AgdaAGPL-3.002 1

Idris-dev

A Dependently Typed Functional Programming Language

Language:HaskellNOASSERTION020

IncludeOS

A minimal, resource efficient unikernel for cloud services

Language:C++Apache-2.0020

irmin-test

AGPL-3.0020

magda

Language:AgdaAGPL-3.0020

ML5

Language:AgdaAGPL-3.0020

Protocol

Language:AgdaMPL-2.0020

tla-agda

Trying to implement TLA in agda.

Language:AgdaAGPL-3.002 2

tla-agda-examples

Language:AgdaAGPL-3.0020

tla-agda-v2

Language:AgdaAGPL-3.002 2

typing-linear-pi

Typing the linear pi calculus in Agda

Language:TeXMIT010

typing-with-leftovers

Self-contained repository for the eponymous paper

Language:AgdaGPL-3.0010