Joomy Korkut
Joomy Korkut
hezarfen
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
zor-yoldan-haskell
Turkish translation of Learn Haskell Fast and Hard by Yann Esposito.
vim-starter
Quick starter kit for Vim beginners.
dilacar
A rule-based machine translation system from Ottoman Turkish to Modern Turkish.
Divan.hs
Ottoman Divan poetry vezin checker in Haskell!
latex-unicoder.vim
A plugin to type Unicode chars in Vim, using their LaTeX names.
virtual-piano
Terminal based virtual piano in Haskell, with ncurses and Euterpea
WangsAlgorithm
A classical propositional theorem prover in Haskell, using Wang's Algorithm.
direct-reflection-for-free
using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell