saeednj

saeednj's Stars

• vegard/cnf-utils

  Dimacs CNF utilities

  Language:C++207

• jcjohnson/neural-style

  Torch implementation of neural style algorithm

  Language:Lua18.3k2.7k

• SergeyMorugin/ostagram

  Language:JavaScript1.1k205

• vim/vim

  The official Vim repository

  Language:Vim Script37k5.5k

• coolwanglu/vim.js

  JavaScript port of Vim

  Language:C4.5k272

• iaikkrypto/lineartrails

  Tool to automatically search for linear characteristics

  Language:C++3912

• niklasso/minisat

  A minimalistic and high-performance SAT solver

  Language:C++1k395

• marwan-abdellah/GPU-Computing-SDK-4.2.9

  NVIDIA GPU Computing SDK 4.2.9. Fixing some stupid compilation bugs in the make files of the projects.

  Language:C++1918

• jheusser/satcoin

  SAT-based Bitcoin Mining

  Language:C8328

• GaloisInc/cryptol

  Cryptol: The Language of Cryptography

  Language:Haskell1.1k123

• kste/cryptosmt

  An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.

  Language:Python9036

• pedrovgs/Nox

  Nox is an Android library created to show a custom view with some images or drawables inside which are drawn following a shape indicated by the library user.

  Language:Java27444

• prakhar1989/awesome-courses

  :books: List of awesome university courses for learning Computer Science!

  58.2k8.2k

• capiman/sha256-sat-bitcoin

  SHA256-SAT-BITCOIN

  Language:C++2410

• vegard/sha1-sat

  SAT instance generator for SHA-1

  Language:C++4714

• msoos/cryptominisat

  An advanced SAT solver

  Language:C++828185

• AlexNisnevich/untrusted

  A meta-JavaScript adventure game by Alex Nisnevich and Greg Shuflin.

  Language:JavaScript4.6k711

• aporter/coursera-android

  Source Code for Android Course Example Applications

  Language:Java4.3k5.3k

• impress/impress.js

  It's a presentation framework based on the power of CSS3 transforms and transitions in modern browsers and inspired by the idea behind prezi.com.

  Language:JavaScript37.7k6.7k

• fatiherikli/brainfuck-visualizer

  Javascript Brainfuck Interpreter and Visualizer. Built with Backbone.js

  Language:JavaScript694131