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 Systems2clickmail
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
nbacoach
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