ayberkt

Ayberk Tosun's repositories

2048

Graphical 2048 in Python.

Language:PythonMIT2 40

turkish-pos-tagger

Part-of-speech tagging of Turkish, using hidden markov models.

Language:HaskellMIT2 40

TAPL

Notes and exercises from “Types and Programming Languages” by Pierce.

Language:HaskellBSD-3-Clause1 40

AFSpritz

A complete Spritz SDK for iOS

Language:Objective-CMIT030

agda-stdlib

The Agda standard library

Language:AgdaNOASSERTION020

co.py.cat

Hofstadter's copycat algorithm, in Python

Language:PythonMIT030

cpdt

Certified Programming with Dependent Types. Adam Chlipala.

Language:Shell030

dachshund

Picasso's dachshund with bezier curves.

Language:ClojureEPL-1.0030

euler_bench

using the euler projects as a source to benchmark lanugages

Language:Perl020

Eva

R5RS Scheme implemented in Haskell.

Language:HaskellMIT030

hmm

hidden markov models in haskell

Language:HaskellNOASSERTION030

k-editor-support

Plugin files for editing K files

Language:Java030

newsyc

An iPhone Hacker News client.

Language:Objective-CBSD-3-Clause030

practical-agda

My solutions to exercises from the Agda tutorial by Eötvös Loránd University.

Language:Agda040

QuickFuzz

An experimental grammar fuzzer in Haskell using QuickCheck

Language:HaskellGPL-3.0030

RFMarkdownTextView

This is a UITextView that is supposed to replicate the comment toolbar in iOctocat (http://ioctocat.com) with auto-insert markdown functionality.

Language:Objective-CMIT030

rs-natural

Natural Language Processing for Rust

Language:RustMIT030

sicp-exercises

Solutions to exercises from Abelson and Sussman's SICP.

Language:SchemeMIT020

SimpleFP-v2

A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS

Language:Haskell020

spacemacs

Emacs advanced Kit focused on Evil: The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Language:Emacs Lisp020

thesaurus

Simple thesaurus from the command-line.

Language:PythonGPL-3.0030

tosun-lisp

The lightweight lisp-like language I am creating following along the tutorial at buildyourownlisp.com

Language:CMIT030

Zelzele

Daily log of seismic activity in Turkey.

Language:Objective-CMIT030