Samir-Rashid

Samir-Rashid's Stars

• naklecha/llama3-from-scratch

  llama3 implementation one matrix multiplication at a time

  Language:Jupyter Notebook13.2k92161.1k

• zephyrproject-rtos/zephyr

  Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

  Language:C10.6k40422.5k6.5k

• danswer-ai/danswer

  Gen-AI Chat for Teams - Think ChatGPT if it had access to your team's unique knowledge.

  Language:Python10.4k1025041.2k

• libvips/libvips

  A fast image processing library with low memory needs.

  Language:C9.6k1362.3k665

• embassy-rs/embassy

  Modern embedded framework, using Rust and async.

  Language:Rust5.3k42796732

• skorokithakis/catt

  Cast All The Things allows you to send videos from many, many online sources to your Chromecast.

  Language:Python3.3k40249153

• pschatzmann/ESP32-A2DP

  A Simple ESP32 Bluetooth A2DP Library (to implement a Music Receiver or Sender) that supports Arduino, PlatformIO and Espressif IDF

  Language:C++1.6k45296270

• aaronjanse/dns-over-wikipedia

  Redirect `.idk` domains using Wikipedia

  Language:Rust1.5k12821

• lean-dojo/LeanCopilot

  LLMs as Copilots for Theorem Proving in Lean

  Language:C++961123883

• FrameworkComputer/EmbeddedController

  Embedded Controller firmware for the Framework Laptop

  Language:C940262261

• Mic92/nixos-shell

  Spawns lightweight nixos vms in a shell

  Language:Nix654204937

• MatthewCroughan/NixThePlanet

  Run macOS, Windows and more via a single Nix command, or simple nixosModules

  Language:Nix542131712

• soulhotel/FF-ULTIMA

  The Firefox theme with too many options.. FF Ultima.

  Language:CSS50867318

• collinalexbell/HackMatrix

  A 3d Linux desktop environment (and game engine)

  Language:C++38282110

• DeterminateSystems/magic-nix-cache-action

  Save 30-50%+ of CI time without any effort or cost. Use Magic Nix Cache, a totally free and zero-configuration binary cache for Nix on GitHub Actions.

  Language:TypeScript37282714

• nikomatsakis/moro

  Experiments with structured concurrency in Rust

  Language:Rust3057312

• ibizaman/selfhostblocks

  Modular server management based on NixOS modules and focused on best practices.

  Language:Nix1548584

• notro/gud

  GUD USB Display

  Language:Python15312217

• leanprover/verso

  Lean documentation authoring tool

  Language:Lean114114513

• nix-community/nix4vscode

  Language:Rust544193

• zombiezen/codespaces-nix

  Dev Container base image with Nix

  Language:Shell16364

• jetbalsa/soda-machine

  this is the repo for all my code for the soda machine, -- mind the mess!

  Language:PHP15200

• david-christiansen/ssft24

  Language:Lean14112

• zombiezen/zb

  zombiezen build tool

  Language:C12339

• MatthewCroughan/mobile-nixos-oneplus-enchilada-template

  A template for the oneplus-enchilada (OnePlus 6) using Mobile NixOS

  Language:Nix9412

• quinn-dougherty/declare

  quinn's personal infra hub

  Language:Nix52220

• ucsd-cse125-sp24/group1-website

  Repository for Group 1's website. Probably will be mostly managed by @SheepTester

  Language:HTML4200

• pink10000/BlazeGuard.ai

  yeah

  Language:Jupyter Notebook3

• pink10000/dotfiles

  this will be my dotfiles

  Language:Vim Script2

• RaitoBezarius/hax

  A Rust verification tool

  Language:OCaml110