Jamie-Rodriguez

Jamie-Rodriguez's Stars

• raysan5/raylib

  A simple and easy-to-use library to enjoy videogames programming

  Language:C24.3k2971.9k2.4k

• openai/swarm

  Educational framework exploring ergonomic, lightweight multi-agent orchestration. Managed by OpenAI Solution team.

  Language:Python17.6k286111.8k

• naklecha/llama3-from-scratch

  llama3 implementation one matrix multiplication at a time

  Language:Jupyter Notebook14k99181.1k

• DvorakDwarf/Infinite-Storage-Glitch

  ISG lets you use YouTube as cloud storage for ANY files, not just video

  Language:Rust11.5k10960917

• rr-debugger/rr

  Record and Replay Framework

  Language:C++9.3k1602k588

• ocaml/ocaml

  The core OCaml system: compilers, runtime system, base libraries

  Language:OCaml5.6k2067.5k1.1k

• Speykious/cve-rs

  Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

  Language:Rust4.2k2531105

• raysan5/raygui

  A simple and easy-to-use immediate-mode gui library

  Language:C3.7k55243312

• mTvare6/hello-world.rs

  🚀Memory safe, blazing fast, configurable, minimal hello world written in rust(🚀) in a few lines of code with few(1247🚀) dependencies🚀

  Language:RenderScript3.4k11734

• antonio-morales/Fuzzing101

  An step by step fuzzing tutorial. A GitHub Security Lab initiative

  3.3k5627349

• pllk/cphb

  Competitive Programmer's Handbook

  Language:TeX3.1k10876362

• alessiodm/drl-zh

  Deep Reinforcement Learning: Zero to Hero!

  Language:Jupyter Notebook2k11374

• d8ahazard/sd_dreambooth_extension

  Language:Python1.9k31844284

• rmcelreath/stat_rethinking_2024

  Language:R1.4k623136

• austral/austral

  Systems language with linear types and capability-based security.

  Language:OCaml1.1k2930043

• nakkaya/ferret

  Ferret is a free software lisp implementation for real time embedded control systems.

  Language:Makefile1.1k413848

• pschanely/CrossHair

  An analysis tool for Python that blurs the line between testing and type systems.

  Language:Python1.1k1516951

• diffblue/cbmc

  C Bounded Model Checker

  Language:C++873401.3k269

• vye16/shape-of-motion

  Language:Python859175964

• sicmutils/sicmutils

  Computer Algebra, Physics and Differential Geometry in Clojure.

  Language:Clojure797308369

• flow-storm/flow-storm-debugger

  A debugger for Clojure and ClojureScript with some unique features.

  Language:Clojure7211415233

• buaacyw/MeshAnythingV2

  From anything to mesh like human artists. Official impl. of "MeshAnything V2: Artist-Created Mesh Generation With Adjacent Mesh Tokenization"

  Language:Python710201740

• hwayne/lets-prove-leftpad

  Proving leftpad correct two-dozen different ways

  Language:SystemVerilog65618862

• JUSTSUJAY/nlp-zero-to-hero

  NLP Zero to Hero in just 10 Kernels

  Language:Jupyter Notebook5406077

• ligurio/practical-fm

  A gently curated list of companies using verification formal methods in industry

  50756938

• seahorn/seahorn

  SeaHorn Verification Framework

  Language:C44120205130

• KovenYu/WonderWorld

  Code release for https://kovenyu.com/WonderWorld/

  Language:Python40052416

• lucky-bai/projecteuler-solutions

  Numerical answers to all Project Euler problems

  325302074

• codespecs/daikon

  Dynamic detection of likely invariants

  Language:C215810154

• m-clark/book-of-models

  Spells for everyday living. (also a book coming out in 2025)

  Language:Jupyter Notebook5842013