Joomy Korkut

a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features

joom

Turkish translation of Learn Haskell Fast and Hard by Yann Esposito.

joom

Quick starter kit for Vim beginners.

joom

A rule-based machine translation system from Ottoman Turkish to Modern Turkish.

joom

Ottoman Divan poetry vezin checker in Haskell!

joom

A plugin to type Unicode chars in Vim, using their LaTeX names.

joom

Vim plugin to use emres/turkish-deasciifier

joom

joke page until I decide what to do with this domain name

joom

Terminal based virtual piano in Haskell, with ncurses and Euterpea

joom

A classical propositional theorem prover in Haskell, using Wang's Algorithm.

joom