Pinned Repositories
agda-ocaml
OCaml backend for Agda
Agtor
Experimenting-with-GT
grylos
A reactive metaprogramming framework
idris-rustcg
A Rust code generator for the idris language.
mirage-agda-examples
Examples from mirage-skeleton in Agda.
protein
Simple code generator
sparrow
xekoukou's Repositories
xekoukou/agda-ocaml
OCaml backend for Agda
xekoukou/mirage-agda-examples
Examples from mirage-skeleton in Agda.
xekoukou/Experimenting-with-GT
xekoukou/sparrow
xekoukou/Agtor
xekoukou/LTL
Linear Temporal Logic (in Agda)
xekoukou/TLA_v3
xekoukou/agda
Agda is a dependently typed programming language / interactive theorem prover.
xekoukou/agda-conduit
xekoukou/agda-nofib
Benchmark programs for Agda
xekoukou/agda-prelude
Programming library for Agda
xekoukou/agda-stdlib
The Agda standard library
xekoukou/AgdaScript
xekoukou/cubical
An experimental library for Cubical Agda
xekoukou/econ_simul_1
xekoukou/Experimenting-with-Matrix
xekoukou/final-pfin
xekoukou/hello
xekoukou/HL5
xekoukou/IncludeOS
A minimal, resource efficient unikernel for cloud services
xekoukou/irmin-test
xekoukou/kouzina
xekoukou/magda
xekoukou/ML5
xekoukou/Protocol
xekoukou/tla-agda
Trying to implement TLA in agda.
xekoukou/tla-agda-examples
xekoukou/tla-agda-v2
xekoukou/typing-linear-pi
Typing the linear pi calculus in Agda
xekoukou/typing-with-leftovers
Self-contained repository for the eponymous paper