ayberkt Goto Github PK

2048

Graphical 2048 in Python.

abt

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

ac-unification

Unification modulo associativity and commutativity.

afspritz

A complete Spritz SDK for iOS

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-brzozowski

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

agda-github-action

A GitHub action for typechecking Agda code.

agda-logical-relations

Some experiments with logical relations in Agda.

agda-stdlib

The Agda standard library

aspell-tr

ayberkt.github.io

birmingham-agda-club

bnfc

BNF Converter

cat

A formalization of category theory in cubical Agda

cfg-random

Generate random strings from a given CFG.

chalmers-msc-thesis-template

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

chi

A minimal language with a self-interpreter.

cl-pc22

Coherent Logic at Proof and Computation, 2022

cmlib

A basic library of algorithms and data structures (a la NJlib)

co.py.cat

Hofstadter's copycat algorithm, in Python

complexity

complexity-for-logicians

Notes from a mini course by Anupam Das.

continuity-bibliography

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

coq-library-undecidability

A library of mechanised undecidability proofs in the Coq proof assistant.

core

Parser and pretty printer for GHC's external core.

cpdt

Certified Programming with Dependent Types. Adam Chlipala.

cubical

An experimental library for Cubical Agda

dachshund

Picasso's dachshund with bezier curves.

dat235

deasciifier

Deniz Yüret's Turkish deasciifier in Swift.