Projects in Awesome Lists by alpaylan
A curated list of projects in awesome lists by alpaylan .
https://github.com/alpaylan/tail
Tail, a typed and structured document editor
cv document editor hacktoberfest pdf resume-builder
Last synced: 07 Apr 2025
https://github.com/alpaylan/crabcheck
A WIP property-based testing library in Rust, built with generalized targeted-property testing in mind.
Last synced: 02 Dec 2024
https://github.com/alpaylan/verysmallfoot
A modern implementation for the Smallfoot Automated Verification Framework for Separation Logic
Last synced: 30 Jan 2025
https://github.com/alpaylan/bvrs
A lightweight Rust library for BitVector Rank&Select operations, coupled with a generic Sparse Array implementation.
algorithms bitvector bitvector-library data-structures rank rank-select select succinct-bit-vector succinct-data-structure
Last synced: 02 Dec 2024
https://github.com/alpaylan/quadratic-voting-simulator
A configurable simulator written in Python that can generate simulations of parliament models.
Last synced: 24 Mar 2025
https://github.com/alpaylan/pass-fail-metu
ODTÜ'de Opsiyonlu Pass/Fail Notlama Sistemine Geçilmesi Üzerine Çalışmalar
Last synced: 24 Mar 2025
https://github.com/alpaylan/cvdl-editor
A Tauri App for Editing CVDL based documents.
cv document editor hacktoberfest pdf resume-builder
Last synced: 24 Mar 2025
https://github.com/alpaylan/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.
Last synced: 30 Jan 2025
https://github.com/alpaylan/ids488
A Random Forest Classifier Approach to Intrusion Detection Systems
Last synced: 24 Mar 2025
https://github.com/alpaylan/functional-ts
Functional Data Structures in Typescript
Last synced: 24 Mar 2025
https://github.com/alpaylan/coronathon-fct
alperenkeles.me/coronathon-FCT
fact-checking nlp nlp-machine-learning
Last synced: 24 Mar 2025
https://github.com/alpaylan/2clickmail
A Website for Crafting, Sharing, Sending Emails via Mailto Links
email hacktoberfest mailto mailto-generator
Last synced: 24 Mar 2025
https://github.com/alpaylan/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.
Last synced: 24 Mar 2025
https://github.com/alpaylan/oracle
An Example Oracle-Guided-Synthesis Tool for Automated Program Synthesis
Last synced: 24 Mar 2025
https://github.com/alpaylan/lcrs
A Lambda Calculus Interpreter written in Rust.
Last synced: 24 Mar 2025
https://github.com/alpaylan/lifter
A basic Lifter Code for ARM Add instruction to REIL
Last synced: 24 Mar 2025
https://github.com/alpaylan/fhe-key-value-store
A fully homomorphically encrypted key-value store.
Last synced: 24 Mar 2025
https://github.com/alpaylan/private-lecture-ceng-213
Basic C++ programs in the concept of data structures and algorithms class
Last synced: 24 Mar 2025
https://github.com/alpaylan/resume-description-language
An Open Source Description Language for Resume/CV Generation. At first, it will generate Latex templates. Later, I will work on creating custom pdfs.
Last synced: 24 Mar 2025
https://github.com/alpaylan/koridor
A SImple Quoridor Style Game written in React Native
Last synced: 24 Mar 2025
https://github.com/alpaylan/tso-website
UMD Turkish Students Organization Website
Last synced: 24 Mar 2025
https://github.com/alpaylan/ecc-rust
A Minimal Elliptic Curve Cryptography Library written in Rust Programming Language
Last synced: 24 Mar 2025
https://github.com/alpaylan/testing-kvstore
An introductory repo into property-based testing using a key value store example
Last synced: 11 Mar 2025
https://github.com/alpaylan/technical-blog-code
This repository contains the source codes for the Proof of Concept demonstrations for my blog.
Last synced: 24 Mar 2025
https://github.com/alpaylan/sars
Suffix Array Library for Rust
fasta prefix-table suffix-array
Last synced: 24 Mar 2025
https://github.com/alpaylan/public-documents
Publicly available documents provided by me. Basically an open cloud-drive.
Last synced: 24 Mar 2025
https://github.com/alpaylan/z3-rs-examples
A public repository for examples of Z3-rs library
Last synced: 24 Mar 2025
https://github.com/alpaylan/type-inference-python
This repository contains the early attempts of creating proof of concept implementation for type inference and type check using z3 smt solver.
Last synced: 24 Mar 2025
https://github.com/alpaylan/snake_tocamel
snake_toCamel is a minimal python script that allows easy conversion of snake_case files to camelCase files.
Last synced: 24 Mar 2025