9 open source projects by joom

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

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

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

Fuzzy string search in Haskell

Ottoman Divan poetry vezin checker in Haskell!

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

Turkish NLP library in Haskell.

Quick starter kit for Vim beginners.

Vim plugin to use emres/turkish-deasciifier