Georges Savoundararadj's starred repositories

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:95967Issues:1478Issues:53890

zig

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

tinygrad

You like pytorch? You like micrograd? You love tinygrad! ❤️

Language:PythonLicense:MITStargazers:25582Issues:270Issues:693

nowinandroid

A fully functional Android app built entirely with Kotlin and Jetpack Compose

Language:KotlinLicense:Apache-2.0Stargazers:16247Issues:332Issues:398

mlx

MLX: An array framework for Apple silicon

candle

Minimalist ML framework for Rust

Language:RustLicense:Apache-2.0Stargazers:14861Issues:146Issues:650

runtime

.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.

rust-analyzer

A Rust compiler front-end for IDEs

Language:RustLicense:Apache-2.0Stargazers:13957Issues:92Issues:7730

pyright

Static Type Checker for Python

Language:PythonLicense:NOASSERTIONStargazers:12854Issues:124Issues:5966

xsv

A fast CSV command line toolkit written in Rust.

Language:RustLicense:UnlicenseStargazers:10254Issues:101Issues:254

ecapture

Capturing SSL/TLS plaintext without a CA certificate using eBPF. Supported on Linux/Android kernels for amd64/arm64.

Language:CLicense:Apache-2.0Stargazers:9210Issues:84Issues:293

llrt

LLRT (Low Latency Runtime) is an experimental, lightweight JavaScript runtime designed to address the growing demand for fast and efficient Serverless applications.

Language:JavaScriptLicense:Apache-2.0Stargazers:7894Issues:47Issues:141

rust.vim

Vim configuration for Rust.

Language:Vim ScriptLicense:Apache-2.0Stargazers:3857Issues:46Issues:283

ccls

C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting

Language:C++License:Apache-2.0Stargazers:3712Issues:81Issues:745

buck2

Build system, successor to Buck

Language:RustLicense:Apache-2.0Stargazers:3463Issues:57Issues:389

coq_nvim

Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.

Language:PythonLicense:GPL-3.0Stargazers:3456Issues:16Issues:411

tracee

Linux Runtime Security and Forensics using eBPF

Language:GoLicense:Apache-2.0Stargazers:3436Issues:53Issues:1460

aya

Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.

Language:RustLicense:Apache-2.0Stargazers:2979Issues:45Issues:280

weggli

weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.

Language:RustLicense:Apache-2.0Stargazers:2312Issues:33Issues:65

checksec.sh

Checksec.sh

Language:RoffLicense:NOASSERTIONStargazers:1989Issues:54Issues:111

redbpf

Rust library for building and running BPF/eBPF modules

Language:RustLicense:Apache-2.0Stargazers:1708Issues:29Issues:163

randar-explanation

"Randar" is an exploit for Minecraft which uses LLL lattice reduction to crack the internal state of an incorrectly reused java.util.Random in the Minecraft server, then works backwards from that to locate other players currently loaded into the world.

aws-lc

AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.

Language:C++License:NOASSERTIONStargazers:278Issues:20Issues:39

aws-lc-rs

aws-lc-rs is a cryptographic library using AWS-LC for its cryptographic operations. The library strives to be API-compatible with the popular Rust library named ring.

Language:RustLicense:NOASSERTIONStargazers:258Issues:11Issues:50

foresight

A tool for predicting the output of random number generators

Language:PythonLicense:MITStargazers:185Issues:18Issues:6

binder-for-linux

An experimental project to port Android Binder IPC subsystem to Ubuntu Linux.

optee_test

Test suite

Language:CLicense:NOASSERTIONStargazers:76Issues:26Issues:159

ecies

Elliptic Curve Integrated Encryption Scheme (ECIES)

Language:CLicense:BSD-2-ClauseStargazers:67Issues:4Issues:3

coq.thirdparty

Module lua sources for `coq.nvim`, first & third party

cascade

A high level language for SELinux policy

Language:RustLicense:MITStargazers:54Issues:7Issues:38