• Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language
    TypeScript
  • Created over 1 year ago
  • Updated over 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

crabcheck

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

VerySmallFoot

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

bvrs

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

pass-fail-metu

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

quadratic-voting-simulator

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

alpaylan.github.io

HTML
2
star
10

cvdl-editor

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

leetcode

Java
2
star
12

IDS488

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

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
14

2clickmail

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

oracle

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

cvdl-rs

Rust Rendering Engine for CVDL
Rust
1
star
17

secimtakip

TypeScript
1
star
18

nbacoach

Python
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