Maryland, United States

Alperen Keleş

Elite
@alpaylan

I'm Alperen. I have many interests. I am a METU CENG graduate, currently a fifth year Ph.D. student at UMD CS advised by Leonidas Lampropoulos.

tjq. Giving types to jq

196

tail. Tail, a typed and structured document editor

87

afetbilgi.com. TypeScript

67

devy. An Interactive Blog Engine

28

kale. A Simple Browser for Browserjam

16

etna-cli. ETNA CLI is a command line interface that allows you to interact with the ETNA Benchmarking and Analysis Platform. It provides a set of commands to manage your experiments, and results.

11

babalaclips. TypeScript

10

crabcheck. A WIP property-based testing library in Rust, built with generalized targeted-property testing in mind.

9

VerySmallFoot. A modern implementation for the Smallfoot Automated Verification Framework for Separation Logic

6

2clickmail. A Website for Crafting, Sharing, Sending Emails via Mailto Links

5

bvrs. A lightweight Rust library for BitVector Rank&Select operations, coupled with a generic Sparse Array implementation.

5

simplerdb. Rust

4

marauders. Hand-Crafted Mutation Manager

3

FHE-Key-Value-Store. A fully homomorphically encrypted key-value store.

3

quadratic-voting-simulator. A configurable simulator written in Python that can generate simulations of parliament models.

3

IDS488. A Random Forest Classifier Approach to Intrusion Detection Systems

3

pass-fail-metu. ODTÜ'de Opsiyonlu Pass/Fail Notlama Sistemine Geçilmesi Üzerine Çalışmalar

2

leetcode. Java

2

cvdl-editor. A Tauri App for Editing CVDL based documents.

2

personal-site. My personal website

2

functional-ts. Functional Data Structures in Typescript

1

etna-exp. Rocq Prover

1

afetbilgi-notlar. AfetBilgi nin geliştirilme sürecinde aldığım notları burada paylaşacağım. Sürecin düzenli ve dürüst bir anlatımı olması açısından, ileride geriye baktığımızda yaptığımız hataları görebilmemiz, neleri düşünmüştük de unuttuk acaba diye araştırmamız açısından iyi olacağını düşünüyorum.

1

nbacoach. Python

1

sudoku. Rust

1

aoc2023. Advent of Code 2023 Solutions

1

lcrs. A Lambda Calculus Interpreter written in Rust.

1

cvdl-rs. Rust Rendering Engine for CVDL

1

coronathon-FCT. alperenkeles.me/coronathon-FCT

1

secimtakip. TypeScript

1

GithubCommitsScraper. Python

1

website-zola. New website written in Zola

1
32
Apply