saeednj

saeednj's Stars

• torvalds/linux

  Linux kernel source tree

  Language:C186k7.8k054.7k

• ossu/computer-science

  🎓 Path to a free self-taught education in Computer Science!

  174k5.8k64522k

• LeCoupa/awesome-cheatsheets

  👩‍💻👨‍💻 Awesome cheatsheets for popular programming languages, frameworks and development tools. They include everything you should know in one single file.

  Language:JavaScript41.1k738916.3k

• SamyPesse/How-to-Make-a-Computer-Operating-System

  How to Make a Computer Operating System in C++

  Language:C21.6k1.6k753.4k

• brannondorsey/wifi-cracking

  Crack WPA/WPA2 Wi-Fi Routers with Airodump-ng and Aircrack-ng/Hashcat

  11.5k37001.1k

• kallaway/100-days-of-code

  Fork this template for the 100 days journal - to keep yourself accountable (multiple languages available)

  6.9k2702711.8k

• microsoft/checkedc

  Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code.

  Language:C3.2k106155182

• dustinkirkland/hollywood

  Language:Shell2.8k6556255

• cr-marcstevens/sha1collisiondetection

  Library and command line tool to detect SHA-1 collision in a file

  Language:C1.3k6522189

• jadijadi/bestoon

  یک پروژه برای دیدن اینکه چطوری یک ایده می تونه به مرحله اجرا برسه. قدم به قدم فیلم گرفتم و منتشر کردم و خود سیستم هم برای عموم قابل استفاده است

  Language:JavaScript8574122177

• ytai/ioio

  Software, firmware and hardware of the IOIO - I/O for Android

  Language:C75089129356

• stp/stp

  Simple Theorem Prover, an efficient SMT solver for bitvectors

  Language:C++53034312130

• microsoft/checkedc-clang

  This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.

  4944551872

• cudpp/cudpp

  CUDA Data Parallel Primitives Library

  Language:Cuda4253417996

• dselsam/neurosat

  NeuroSAT: Learning a SAT Solver from Single-Bit Supervision

  Language:Python27315856

• drewblaisdell/conway

  real-time, persistent, multiplayer version of Conway's Game of Life

  Language:JavaScript15991119

• ytai/IOIOPlotter

  Source code for my IOIO Plotter

  Language:Java11014031

• microsoft/checkedc-llvm

  Thiis is a *deprecated* repo that contains a version of LLVM that was being modified to support Checked C. We have moved to a single (mono) repo setup, following the lead of the LLVM community. See https://github.com/Microsoft/checkedc-clang instead.

  Language:LLVM9846123

• akexorcist/IOIO-CameraRobot

  [Android] IOIO Robot Car with Real-time Camera from Android Device that Controlled with Another Android Device via WiFi

  Language:Java7513044

• Litun/UnitingTwist

  Language:Java51829

• jackrugile/start-making-games

  A talk about why games are the ultimate creative expression, how to build a simple pong game, and how to ramp it up to the next level.

  Language:JavaScript46403

• Drippler/wearabird

  This game uses your Android wearable watch to control the game and make you fly like a bird.

  Language:Java33819

• niklasso/minisatp

  The Pseudo-Boolean Solver MiniSat+

  Language:C++273213

• kyleparker/io16experiment-master

  Android Experiment for 2016 I/O Challenge

  Language:Java22204

• Sumith1896/tusSAT

  A SAT solver implementation in VHDL, team tussle

  Language:VHDL20766

• spiretos/WeaRemote

  A framework for using an Android Wear watch as a remote controller.

  Language:Java17403

• vegard/clsat

  OpenCL SAT solver

  Language:C++16322

• lashgar/ipmacc

  IPMACC is a framework for translating OpenACC for C API to CUDA, OpenCL, and Intel ISPC.

  Language:C13654

• cr-marcstevens/sha1collisiondetection-tools

  Tools used to make the SHA-1 collision detection library

  Language:C++12506

• domoritz/SoSAT

  SAT solver

  Language:Python4423