Name: Alperen Keleş
Type: User
Company: University of Maryland, College Park
Bio: I'm Alperen. I have many interests. I am a METU CENG graduate, currently a third year Ph.D. student at UMD CS advised by Leonidas Lampropoulos.
Location: Maryland, United States
Blog: alperenkeles.com
Alperen Keleş's Projects
My personal website
An easy-to-use library for writing PDF in Rust
Publicly available documents provided by me. Basically an open cloud-drive.
A configurable simulator written in Python that can generate simulations of parliament models.
A property-based testing library for Racket.
A Rope data structure written in Coq
Suffix Array Library for Rust
snake_toCamel is a minimal python script that allows easy conversion of snake_case files to camelCase files.
UMD Turkish Students Organization Website
This repository contains the early attempts of creating proof of concept implementation for type inference and type check using z3 smt solver.
A modern implementation for the Smallfoot Automated Verification Framework for Separation Logic
A public repository for examples of Z3-rs library