Discover @ayberkt Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Zig

Erlang

Swift

Ruby

Perl

Go

CSS

Emacs Lisp

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Clojure

C++

Python

Kotlin

Shell

C

Scala

Julia

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇦🇫 Afghanistan

🇫🇯 Fiji

🇧🇻 Bouvet Island

🇸🇪 Sweden

🇸🇨 Seychelles

🇨🇳 China

🇪🇸 Spain

🇺🇦 Ukraine

All Countries Compare Countries

Ayberk Tosun (@ayberkt)

ayberkt

Stars
248
Global Rank 103,956 (Top 4 %)
Followers 125
Following 270
Registered almost 12 years ago
Most used languages

TeX
19.0 %

Standard ML 19.0 %

Haskell
11.9 %

OCaml
9.5 %

Agda 9.5 %

Grammatical Framework 7.1 %

CSS
4.8 %

Scala
4.8 %

XSLT 2.4 %

Common Workflow Language 2.4 %

Python
2.4 %

Shell
2.4 %

Dockerfile
2.4 %

Swift
2.4 %
Location 🇬🇧 United Kingdom
Country Total Rank 4,825
Country Ranking

Grammatical Framework 1

Standard ML 4

Common Workflow Language 6

Agda 15

OCaml
66

Haskell
121

XSLT 143

TeX
164

Scala
314

CSS
333

Swift
1,053

Dockerfile
1,271

Shell
1,988

formal-topology-in-UF

Formal Topology in Univalent Foundations (WIP).

sequents

Proof search for intuitionistic propositional logic using Dyckhoff's LJT.

grammar-inference

Learning rigid grammars in Haskell.

simplc

A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.

sml-system-t

SML implementation of System T from PFPL.

Mini-TT

A tiny implementation of dependent types.

pixs

An image-processing library for Haskell.

abt

Ocaml port of CMU's ABT library (with various modifications).

sml-system-f

An implementation of System F, as described in PFPL.

agda-github-action

A GitHub action for typechecking Agda code.

chi

A minimal language with a self-interpreter.

notes-on-cut-elimination

Some notes and Twelf code on cut elimination.

rafine

λ-calculus with ⊏, ≤, ∧, ∨.

gstts-formal-topology-talk

Slides for a talk given at the Gothenburg-Stockholm Type Theory Seminar.

linear-diophantine

An implementation of Contejean and Devie's algorithm for solving linear diophantine equations.

AC-unification

Unification modulo associativity and commutativity.

agda-brzozowski

[WIP] Brzozowski's DFA minimization algorithm in Agda.

CFG-random

Generate random strings from a given CFG.

tinyrw

A toy language based on rewriting using code from Baader and Nipkow.

chalmers-msc-thesis-template

Template for master's theses at Chalmers. *Work in progress!*

resolution

A tiny implementation of logical resolution.

deasciifier

Deniz Yüret's Turkish deasciifier in Swift.

turnstile

Proof translations from English to proof assistants.

Grammatical Framework

agda-logical-relations

Some experiments with logical relations in Agda.

system-t-normalization

Normlization proof of System T in Agda.

GF-summer-school

Code and notes from the fifth GF summer school.

Grammatical Framework

sml-colors

Make text look nice.

turkish-pos-tagger

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

LamPi

Messing around with dependent types.

msc-thesis

notes-on-choice-sequences

Notes to myself as I am reading Troelstra's “Choice Sequences”.

2048

Graphical 2048 in Python.

complexity-for-logicians

Notes from a mini course by Anupam Das.

twelf-playground

Toying with Twelf.

continuity-bibliography

[WIP] An annotated bibliography on the works on continuity principles in type theories.

sml-cyk

[WIP] SML implementation of the Cocke-Kasami-Younger algorithm.

pfm-exercises

Exercises from Paul Taylor's PFM.

docker-agda

natural-sciences-forest

My forest for natural sciences, built using forester.

twelf-system-t

System T in Twelf.

aspell-tr

Common Workflow Language

DAT235

GFSS-5-presentation

Final presentation for the fifth GF summer school.

GF-twelf

Translate Twelf to other stuff—implemented in GF.

Grammatical Framework

TAPL

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