• Stars
    star
    1
  • Language
    Python
  • Created about 1 year ago
  • Updated about 1 year ago

Reviews

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

Repository Details

More Repositories

1

afetbilgi.com

TypeScript
71
star
2

tail

Tail, a typed and structured document editor
TypeScript
64
star
3

devy

An Interactive Blog Engine
Rust
27
star
4

babalaclips

TypeScript
10
star
5

crabcheck

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

VerySmallFoot

A modern implementation for the Smallfoot Automated Verification Framework for Separation Logic
OCaml
6
star
7

bvrs

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

pass-fail-metu

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

quadratic-voting-simulator

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

alpaylan.github.io

HTML
2
star
11

cvdl-editor

A Tauri App for Editing CVDL based documents.
TypeScript
2
star
12

leetcode

Java
2
star
13

IDS488

A Random Forest Classifier Approach to Intrusion Detection Systems
Python
2
star
14

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.
Python
2
star
15

2clickmail

A Website for Crafting, Sharing, Sending Emails via Mailto Links
TypeScript
1
star
16

oracle

An Example Oracle-Guided-Synthesis Tool for Automated Program Synthesis
C++
1
star
17

cvdl-rs

Rust Rendering Engine for CVDL
Rust
1
star
18

secimtakip

TypeScript
1
star
19

functional-ts

Functional Data Structures in Typescript
TypeScript
1
star
20

metu-ceng-20-21

1
star
21

lcrs

A Lambda Calculus Interpreter written in Rust.
Rust
1
star
22

aoc2023

Advent of Code 2023 Solutions
Python
1
star
23

GithubCommitsScraper

Python
1
star
24

coronathon-FCT

alperenkeles.me/coronathon-FCT
Jupyter Notebook
1
star