tarikozkanli

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

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

lyah-tr

Learn You A Haskell dökümanı türkçe çevirisi

minds

Reflections on Set of interacting Minds.

spaceship-operating-system

The intelligent operating system of future spaceships

Turkish-language-agent

An agent that can communicate in Turkish

words

Haskell code of random explorations