ayberkt Goto Github PK

maude-cg

Categorial grammar experiments in the Maude language.

mgs-domain-theory

Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS) 2023

mini-tt

A tiny implementation of dependent types.

msc-thesis

natural-sciences-forest

My forest for natural sciences, built using forester.

newsyc

An iPhone Hacker News client.

notes-on-choice-sequences

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

notes-on-cut-elimination

Some notes and Twelf code on cut elimination.

notes-on-realizability

Lecture notes on realizability

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

pfm-exercises

Exercises from Paul Taylor's PFM.

pixs

An image-processing library for Haskell.

plt-redex-playground

Toying with PLT Redex.

practical-agda

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

prf

[WIP] A language of primitive recursive functions.

project-euler

My solutions to project euler.

proselint

A linter for prose.

quickfuzz

An experimental grammar fuzzer in Haskell using QuickCheck

rafine

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

resolution

A tiny implementation of logical resolution.

rfmarkdowntextview

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

rouge

A pure Ruby code highlighter that is compatible with Pygments

rs-natural

Natural Language Processing for Rust

s4

[WIP] Experiments with the Gödel translation from intuitionistic to modal logic.

searchable-sets

TBD.

sequents

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

sicp-exercises

Solutions to exercises from Abelson and Sussman's SICP.

simplc

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

simplefp-v2

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

sml-colors

Make text look nice.