Joomy Korkut

zor-yoldan-haskell. Turkish translation of Learn Haskell Fast and Hard by Yann Esposito.

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

latex-unicoder.vim. A plugin to type Unicode chars in Vim, using their LaTeX names.

vim-starter. Quick starter kit for Vim beginners.

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

Divan.hs. Ottoman Divan poetry vezin checker in Haskell!

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

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

turkish-deasciifier.vim. Vim plugin to use emres/turkish-deasciifier

virtual-piano. Terminal based virtual piano in Haskell, with ncurses and Euterpea

dilim. A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.

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

fuzzy. Fuzzy string search in Haskell

Guguk. Turkish NLP library in Haskell.

chalk. Simple terminal string styling in Haskell.

distributed-hash-table. A Haskell implementation of distributed hash tables with two-phase commit.

regexp-agda. Agda

edit-time-tactics. Documents (TeX, slides, poster etc.) for my master's thesis, titled "Edit-Time Tactics in Idris", and the TyDe '18 paper, titled "Extensible Type-Directed Editing"

modal. Compilation of modal logic based functional language ML5 to JavaScript.

idris-microKanren. Simple microKanren implementation in Idris.

metaprogrammable-editor. Documents (TeX, slides etc.) and code for the editor side metaprogramming in Coq.

twitter-timeline-scraper. Scraper for Twitter embedded timelines.

turkish-deasciifier.hs. Haskell port of Deniz Yuret's Turkish deasciifier.

herbrand-prolog. A pseudo-Prolog that tries to answer queries by building the least Herbrand model.

thesis-modal. TeX files of my thesis

dissertation. my PhD dissertation: Foreign Function Verification Through Metaprogramming

WindowWatcher. A tool for me to run a shell script between switching windows/apps on a Mac.

th-new. Sample code demonstrating features of typed Template Haskell.

civ. Civilization-like game in Haskell.

vimrc. my vim settings / plugins

foma.hs. Simple Haskell bindings for Foma.

blog. Hakyll blog source files.

Idris-dev. A Dependently Typed Functional Programming Language

connection-booster. Class project for COS561 with Prof. Jennifer Rexford: a Chrome app that calculates the optimal number of TCP parallel connections for maximum performance and loads in parallel.

CompCert. The CompCert formally-verified C compiler

vim-in-coq. A rudimentary Vim clone in Coq, with CertiCoq and ncurses.

cyk-parser. A CYK-parser for context-tree grammars.

djinn. Generate Haskell code from a type

node-youtube2mp3. Node.js replica of YouTube to MP3 web apps.

matrix-challenge. Simple matrix determinant calculator in different programming languages

vim-commentary. commentary.vim: comment stuff out

henk2000. Henk 2000