There are no reviews yet. Be the first to send feedback to the community and the maintainers!
afetbilgi.com
tail
Tail, a typed and structured document editordevy
An Interactive Blog Enginebabalaclips
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 Logicbvrs
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ışmalarquadratic-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 Systemsafetbilgi-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 Linksoracle
An Example Oracle-Guided-Synthesis Tool for Automated Program Synthesiscvdl-rs
Rust Rendering Engine for CVDLsecimtakip
functional-ts
Functional Data Structures in Typescriptmetu-ceng-20-21
lcrs
A Lambda Calculus Interpreter written in Rust.aoc2023
Advent of Code 2023 SolutionsGithubCommitsScraper
coronathon-FCT
alperenkeles.me/coronathon-FCTLove Open Source and this site? Check out how you can help us