Joomy Korkut's repositories
zor-yoldan-haskell
Turkish translation of Learn Haskell Fast and Hard by Yann Esposito.
latex-unicoder.vim
A plugin to type Unicode chars in Vim, using their LaTeX names.
WangsAlgorithm
A classical propositional theorem prover in Haskell, using Wang's Algorithm.
type.systems
joke page until I decide what to do with this domain name
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
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"
metaprogrammable-editor
Documents (TeX, slides etc.) and code for the editor side metaprogramming in Coq.
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.
cyk-parser
A CYK-parser for context-tree grammars.
WindowWatcher
A tool for me to run a shell script between switching windows/apps on a Mac.
certicoq-sha
A separate repo with one example to test the performance of CertiCoq
CertiGraph
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
coq-ext-lib
A library of Coq definitions, theorems, and tactics.
cpp-coq-ffi
A primitive set data structure for Coq, using `std::set` from C++.
haskell-companies
A gently curated list of companies using Haskell in industry
how-to-implement-dependent-type-theory
A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
joom.github.io
Personal website
vim-in-coq
A rudimentary Vim clone in Coq, with CertiCoq and ncurses.