• Stars
    star
    1
  • Language
    Python
  • License
    MIT License
  • Created about 2 years ago
  • Updated about 2 years 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

nbacoach

Python
1
star
20

functional-ts

Functional Data Structures in Typescript
TypeScript
1
star
21

metu-ceng-20-21

1
star
22

lcrs

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

aoc2023

Advent of Code 2023 Solutions
Python
1
star
24

coronathon-FCT

alperenkeles.me/coronathon-FCT
Jupyter Notebook
1
star