Ayberk Tosun's repositories
sml-system-t
SML implementation of System T from PFPL.
sml-system-f
An implementation of System F, as described in PFPL.
notes-on-cut-elimination
Some notes and Twelf code on cut elimination.
CFG-random
Generate random strings from a given CFG.
deasciifier
Deniz Yüret's Turkish deasciifier in Swift.
resolution
A tiny implementation of logical resolution.
system-t-normalization
Normlization proof of System T in Agda.
notes-on-choice-sequences
Notes to myself as I am reading Troelstra's “Choice Sequences”.
sml-redprl
Decisively Smash the Formalist Clique!—The People's Refinement Logic
twelf-playground
Toying with Twelf.
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
pfm-exercises
Exercises from Paul Taylor's PFM.
twelf-system-t
System T in Twelf.
FirstOrderUnificationInAgda
Implementation of McBride's "First-order unification by structural recursion" in Agda.
ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
language-gf
Atom language support for Grammatical Framework.
language-twelf
Twelf language support for Atom.
latex-basis
Stuff I keep having to redefine in LaTeX.
plt-redex-playground
Toying with PLT Redex.
sml-union-find
Tiny union-find data structure in SML.