raoz

raoz's Stars

• nikic/PHP-Fuzzer

  Experimental fuzzer for PHP libraries

  Language:PHP41516

• latitude-dev/latitude

  Developer-first embedded analytics

  Language:TypeScript87641

• tokio-rs/loom

  Concurrency permutation testing tool for Rust.

  Language:Rust2.1k111

• model-checking/kani

  Kani Rust Verifier

  Language:Rust2.2k91

• Pythagora-io/gpt-pilot

  The first real AI developer

  Language:Python31.7k3.2k

• adamcrume/robust-binary-search

  Robust Binary Search provides a binary search implementation which is robust against errors during the search.

  Language:Rust431

• exakat/php-static-analysis-tools

  A reviewed list of useful PHP static analysis tools

  2.8k245

• CL2-UWaterloo/Raceline-Optimization

  This repository contains multiple approaches for generating global racetrajectories.

  Language:Jupyter Notebook16545

• flamegraph-rs/flamegraph

  Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3

  Language:Rust4.7k144

• google-deepmind/mctx

  Monte Carlo tree search in JAX

  Language:Python2.3k191

• obi1kenobi/trustfall

  A query engine for any combination of data sources. Query your files and APIs as if they were databases!

  Language:Rust2.4k68

• fugue/regula

  Regula checks infrastructure as code templates (Terraform, CloudFormation, k8s manifests) for AWS, Azure, Google Cloud, and Kubernetes security and compliance using Open Policy Agent/Rego

  Language:Open Policy Agent961109

• fduran/sadservers

  SadServers: Linux & DevOps Troubleshooting Scenarios SaaS

  Language:HCL1.9k55

• jayy-lmao/rust-graphql-docker

  Scratch-Containerised Rust GraphQL-API using Dataloaders

  Language:Rust947

• samchon/typia

  Super-fast/easy runtime validators and serializers via transformation

  Language:TypeScript4.6k158

• joeycastillo/The-Open-Book

  7.5k231

• thoughtworks/talisman

  Using a pre-commit hook, Talisman validates the outgoing changeset for things that look suspicious — such as tokens, passwords, and private keys.

  Language:Go1.9k241

• sofn-xyz/mailing

  Build, test, send emails with React

  Language:TypeScript3.6k72

• bramstein/typeset

  TeX line breaking algorithm in JavaScript

  Language:JavaScript99074

• RythmStick/AMSITrigger

  The Hunt for Malicious Strings

  Language:C#1.1k153

• Wilfred/difftastic

  a structural diff that understands syntax 🟥🟩

  Language:Rust20.9k344

• hyprwm/Hyprland

  Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

  Language:C++21.4k897

• ClemensElflein/OpenMower

  Let's upgrade cheap off-the-shelf robotic mowers to modern, smart RTK GPS based lawn mowing robots!

  Language:C4.7k280

• vercel/commerce

  Next.js Commerce

  Language:TypeScript11.4k4.2k

• ervinoro/dintact

  Make sure your data is still intact.

  Language:Python2

• paperless-ngx/paperless-ngx

  A community-supported supercharged version of paperless: scan, index and archive all your physical documents

  Language:Python21.3k1.2k

• PRQL/prql

  PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement

  Language:Rust9.9k218

• resume/resume.github.com

  Resumes generated using the GitHub informations

  Language:JavaScript62k1.4k

• lucidrains/DALLE2-pytorch

  Implementation of DALL-E 2, OpenAI's updated text-to-image synthesis neural network, in Pytorch

  Language:Python11.1k1.1k

• brimdata/super

  An analytics database that puts JSON and relational tables on equal footing

  Language:Go1.4k64