Pinned 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
allmyunisoncode
Unison language library and application code repository
ats-diaries
My ATS language snippets
coq-diaries
Coq scripts for exploring the proof assistant.
DaoFP
typo-fix
grid-management-system
A generic grid management module.
idris-diaries
java-session-types
A library of session types for java
koka-diaries
tarikozkanli's Repositories
tarikozkanli/abstract-algebra
A library for enabling application of abstract algebra structures to concrete computational problems
tarikozkanli/agda-diaries
My Agda programming language and proof assistant adventures
tarikozkanli/allmyunisoncode
Unison language library and application code repository
tarikozkanli/ats-diaries
My ATS language snippets
tarikozkanli/coq-diaries
Coq scripts for exploring the proof assistant.
tarikozkanli/DaoFP
typo-fix
tarikozkanli/grid-management-system
A generic grid management module.
tarikozkanli/idris-diaries
tarikozkanli/java-session-types
A library of session types for java
tarikozkanli/koka-diaries
tarikozkanli/lyah-tr
Learn You A Haskell dökümanı türkçe çevirisi
tarikozkanli/minds
Reflections on Set of interacting Minds.
tarikozkanli/spaceship-operating-system
The intelligent operating system of future spaceships
tarikozkanli/Turkish-language-agent
An agent that can communicate in Turkish
tarikozkanli/words
Haskell code of random explorations