Ayberk Tosun's starred repositories
dialectica
Dialectica translations
dependent-type-theory-syntax
An Agda formalization of raw syntax for dependent type theory
pragmatapro-semiotics
Semiotics of all the symbols and signs of Pragmata Pro typeface
GentzenTrans
A monadic translation of Gödel's System T in the spirit of Gentzen's negative translation
realisability
A hobby project to pursue a cubical formalisation of realisability
opetopic-types
Higher Algebra with Opetopic Types
Newsreader
NewsReader is an original typeface designed by Production Type, primarily intended for continuous on-screen reading in content-rich environments.
refinement-parsers
Article on using refinement calculus and algebraic effects for parsing
Lora-Cyrillic
Lora fonts — serif family for text. Variable Open Source Font
translations
Unofficial translations of some writings mostly in French
statistics
Statistics Library for Futhark
Agda-Montague
Attempt to formalize the Montague languages as described in Dowty, Wall, Peters in Agda
lambda-calculus-and-categories
A repository for the material of my course on lambda-calculus and categories
type-theory-slovene-dictionary
A dictionary of slovene translations of type-theoretical notions and notions from logic and foundations of mathematics.
yoneda-in-tongues
Yoneda lemma in every known language
isbell-frames
Isbell duality and pointfree topology
palmgren-archive
Research material of Erik Palmgren (1963–2019)
effectful-typesetting
A case-study in effects-and-handlers for bubbling out configurations from the interior of programs that typeset text.