alpaylan/VerySmallFoot

Stars
6
Rank 2,521,952 (Top 51 %)
Language
OCaml
License
MIT License
Created almost 2 years ago
Updated almost 2 years ago

alpaylan/VerySmallFoot

alpaylan

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

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

afetbilgi.com

tail

Tail, a typed and structured document editor

devy

An Interactive Blog Engine

babalaclips

crabcheck

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

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