Tarık Özkanlı's repositories
abstract-algebra
A library for enabling application of abstract algebra structures to concrete computational problems
agda-diaries
My Agda programming language and proof assistant adventures
Language:Agda000
allmyunisoncode
Unison language library and application code repository
000
ats-diaries
My ATS language snippets
Language:ATS000
coq-diaries
Coq scripts for exploring the proof assistant.
DaoFP
typo-fix
Language:TeX000
grid-management-system
A generic grid management module.
000
Language:IdrisGPL-3.0000
java-session-types
A library of session types for java
Apache-2.0000
000
lyah-tr
Learn You A Haskell dökümanı türkçe çevirisi
000
minds
Reflections on Set of interacting Minds.
Language:HaskellBSD-3-Clause000
spaceship-operating-system
The intelligent operating system of future spaceships
GPL-3.0000
Turkish-language-agent
An agent that can communicate in Turkish
000