Ayberk Tosun's repositories
turkish-pos-tagger
Part-of-speech tagging of Turkish, using hidden markov models.
agda-stdlib
The Agda standard library
euler_bench
using the euler projects as a source to benchmark lanugages
k-editor-support
Plugin files for editing K files
practical-agda
My solutions to exercises from the Agda tutorial by Eötvös Loránd University.
RFMarkdownTextView
This is a UITextView that is supposed to replicate the comment toolbar in iOctocat (http://ioctocat.com) with auto-insert markdown functionality.
rs-natural
Natural Language Processing for Rust
sicp-exercises
Solutions to exercises from Abelson and Sussman's SICP.
SimpleFP-v2
A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS
tosun-lisp
The lightweight lisp-like language I am creating following along the tutorial at buildyourownlisp.com