Alperen Keleş alpaylan

• University of Maryland, College Park

• Maryland, United States
• alperenkeles.com
• http://twitter.com/keleesssss

Pinned Loading

1. 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.

   Rocq Prover 8 2

2. Giving types to jq

   Rust 195 2

4. Tail, a typed and structured document editor

   TypeScript 87 8

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

   TypeScript 5 1

6. A Simple Browser for Browserjam

   Rust 16