Discover @joom Open Source projects

Joomy Korkut (@joom)

joom

Stars
753
Global Rank 40,098 (Top 2 %)
Followers 306
Following 384
Registered over 12 years ago
Most used languages

Haskell
33.3 %

TeX
16.7 %

Vim Script
13.3 %

JavaScript
13.3 %

Idris 6.7 %

Agda 6.7 %

HTML
3.3 %

Swift
3.3 %

Rust
3.3 %
Location 🇺🇸 United States
Country Total Rank 10,920
Country Ranking

Idris 4

Agda 15

Vim Script
161

Haskell
187

TeX
362

HTML
3,646

Rust
4,148

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.

Divan.hs

Ottoman Divan poetry vezin checker in Haskell!

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

turkish-deasciifier.vim

Vim plugin to use emres/turkish-deasciifier

dilacar

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

virtual-piano

Terminal based virtual piano in Haskell, with ncurses and Euterpea

proof-tree-builder

A web-based graphical proof assistant for LK and Hoare logic.

fuzzy

Fuzzy string search in Haskell

Guguk

Turkish NLP library in Haskell.

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

regexp-agda

distributed-hash-table

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

modal

Compilation of modal logic based functional language ML5 to JavaScript.

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"

dilim

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

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.

idris-microKanren

Simple microKanren implementation in Idris.

thesis-modal

TeX files of my thesis

herbrand-prolog

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

civ

Civilization-like game in Haskell.

foma.hs

Simple Haskell bindings for Foma.

vimrc

my vim settings / plugins

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.

matrix-challenge

Simple matrix determinant calculator in different programming languages

node-youtube2mp3

Node.js replica of YouTube to MP3 web apps.