Giters
Ayberk Tosun (ayberkt)

ayberkt

Geek Repo

125

followers

278

following

655

stars

Company:University of Birmingham

Location:Birmingham, UK

Home Page:https://www.cs.bham.ac.uk/~axt978

Github PK Tool:Github PK Tool

Ayberk Tosun's starred repositories

dafny

Dafny is a verification-aware programming language

Language:C#License:NOASSERTIONStargazers:2834Issues:80Issues:2608

core

Jane Street Capital's standard library overlay

Language:OCamlLicense:MITStargazers:1097Issues:44Issues:121

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

Stargazers:924Issues:59Issues:4

Axelrod

A research tool for the Iterated Prisoner's Dilemma

Language:PythonLicense:NOASSERTIONStargazers:709Issues:27Issues:462

inpla

Inpla: Interaction nets as a programming language (the current version)

Language:YaccLicense:MITStargazers:267Issues:12Issues:1

TypeTopology

Logical manifestations of topological concepts, and other things, via the univalent point of view.

Language:AgdaLicense:GPL-3.0Stargazers:215Issues:15Issues:34

forest

My mathematical Zettelkasten, created using forester.

Language:ShellStargazers:67Issues:4Issues:5

MGS-domain-theory

Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS) 2023

Language:TeXStargazers:44Issues:3Issues:0

polytt

A type theory with native support for Polynomial Functors.

Language:OCamlStargazers:37Issues:8Issues:35

inference-in-agda

A tutorial on how Agda infers things

Language:HTMLStargazers:31Issues:2Issues:0

catt.io

Revised Omega-categorical Typechecker

Language:OCamlStargazers:23Issues:5Issues:14

MGS-categorical-realizability

Lecture notes and exercises for the advanced course on categorical realizability at the Midlands Graduate School (MGS) 2024

Language:TeXStargazers:19Issues:1Issues:0

playtime

An OCaml EDSL for describing and solving strategic games

Language:OCamlStargazers:17Issues:2Issues:0

pl-syntax

PL syntax macros.

Language:TeXLicense:GPL-3.0Stargazers:17Issues:3Issues:0

categorical-automata

Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2303.03867, https://arxiv.org/pdf/2303.03865, https://arxiv.org/abs/2305.00272

Language:AgdaStargazers:15Issues:2Issues:0

arxiv-submission-core

arXiv submission core

Language:PythonLicense:MITStargazers:13Issues:14Issues:14

hydra

The combinatorial Hydra game

Language:JavaLicense:UnlicenseStargazers:12Issues:5Issues:1

hott-reading-course

Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science and Engineering

Language:TeXStargazers:11Issues:2Issues:0

M2-20-2

Mathematical foundations of automata theory

Stargazers:8Issues:5Issues:0

iris-tutorial

Language:CoqStargazers:6Issues:5Issues:1

thesis-template

Template for a (PhD) thesis

Language:TeXStargazers:6Issues:1Issues:0

istari

Language:CoqLicense:NOASSERTIONStargazers:3Issues:1Issues:0

masters-formalisation

Formalisation of my Master's Thesis in Coq.

Language:CoqStargazers:2Issues:1Issues:0

train

Translator of a functional language to interaction nets (Inpla notation)

Language:CLicense:MITStargazers:2Issues:1Issues:0

cookiebreaks

Scripts for running cookie breaks

Language:PythonLicense:GPL-3.0Stargazers:1Issues:0Issues:0

phdcode

Language:RLicense:NOASSERTIONStargazers:1Issues:0Issues:0

itinerary-generator

Generating html documents for trip itineraries

Language:PythonLicense:GPL-3.0Stargazers:1Issues:1Issues:0

thesis-template

Template for a (PhD) thesis

Language:TeXStargazers:1Issues:1Issues:0

cbv

Matters of Call-by-value

Language:AgdaStargazers:1Issues:2Issues:0

topological-co-induction

Agda formalisation of the results of the paper "A topological reading of coinductive predicates in Dependent Type Theory"

Language:AgdaStargazers:1Issues:0Issues:0