yigitv4rli's Stars
alpaylan/tjq
Giving types to jq
GoktugEk/encrypted-shazam
Privacy preserving version of Shazam, implemented as the solution to the Bounty Program of Zama
G33kzD3n/Catalogue
systemdesignfightclub/SDFC
Roadmap and Resource Compilation for System Design Fight Club
alpaylan/afetbilgi.com
codecrafters-io/build-your-own-x
Master programming by recreating your favorite technologies from scratch.
CagriUysal/Simple-Captcha-Breaker
Captcha breaking program with pytorch and opencv
ozansz/gls
Minimal file manager with terminal UI #Go
tree-sitter/tree-sitter
An incremental parsing system for programming tools
ytxmobile98/multi-pipes-example
Multiple pipe example in C language
obsproject/obs-studio
OBS Studio - Free and open source software for live streaming and screen recording
golang/go
The Go programming language
dkarakay/metu-capacity-checker
METU Auto Capacity Checker
alpaylan/bvrs
A lightweight Rust library for BitVector Rank&Select operations, coupled with a generic Sparse Array implementation.
cbergoon/merkletree
A Merkle Tree implementation written in Go.
alpaylan/tail
Tail, a typed and structured document editor
sorin-ionescu/prezto
The configuration framework for Zsh
github/gitignore
A collection of useful .gitignore templates
microsoft/vscode
Visual Studio Code
enumcase/EMEA-APAC-Internships
Summer 2022 internships list for EMEA and APAC regions.
tech-srl/code2vec
TensorFlow code for the neural network presented in the paper: "code2vec: Learning Distributed Representations of Code"
circulosmeos/gdown.pl
Google Drive direct download of big files
rjust/defects4j
A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
pytorch/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
mit-han-lab/proxylessnas
[ICLR 2019] ProxylessNAS: Direct Neural Architecture Search on Target Task and Hardware
ugrkm/A-to-Z-Resources-for-Students
✅ Curated list of resources for college students
OpenNos/OpenNos
OpenNos Emulator Project. See AUTHORS file for Copyright information.
microsoft/ivy
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
Z3Prover/z3
The Z3 Theorem Prover
facebook/zstd
Zstandard - Fast real-time compression algorithm