alpaylan/tail

Stars
64
Rank 479,426 (Top 10 %)
Language
TypeScript
Created almost 3 years ago
Updated 5 months ago

alpaylan/tail

alpaylan

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Tail, a typed and structured document editor

afetbilgi.com

devy

An Interactive Blog Engine

babalaclips

crabcheck

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

VerySmallFoot

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

bvrs

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

pass-fail-metu

ODTÜ'de Opsiyonlu Pass/Fail Notlama Sistemine Geçilmesi Üzerine Çalışmalar

quadratic-voting-simulator

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

alpaylan.github.io

cvdl-editor

A Tauri App for Editing CVDL based documents.

leetcode

IDS488

A Random Forest Classifier Approach to Intrusion Detection Systems

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.

2clickmail

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

oracle

An Example Oracle-Guided-Synthesis Tool for Automated Program Synthesis

cvdl-rs

Rust Rendering Engine for CVDL

secimtakip

nbacoach

functional-ts

Functional Data Structures in Typescript

metu-ceng-20-21

lcrs

A Lambda Calculus Interpreter written in Rust.

aoc2023

Advent of Code 2023 Solutions

GithubCommitsScraper

coronathon-FCT

alperenkeles.me/coronathon-FCT

Jupyter Notebook