Pinned Repositories
Aasina
This is the program I wrote in 2007 for a line-follower I built that ran on a Philips P89V51RD2 microcontroller
cf_utils
cuda101
CUDA Programming for Beginners
Data-Structures-and-Algorithms
A collection of some implementations of data structures and algorithms.
DropboxUpload
Upload files on Dropbox from your terminal
instagram-dl
Instagram image downloader using Python
ncc
Neural Code Comprehension: A Learnable Representation of Code Semantics
picoctf-writeups
Write-ups for PicoCTF tasks
SwiftTyper
Offline version of games like type racer and 10fastfingers.
z3-floating-point-proofs
Automated Proofs about floating-point numbers using Z3 Theorem Prover
xennygrimmato's Repositories
xennygrimmato/github-miner
xennygrimmato/highlights
Syntax highlighter
xennygrimmato/Adversarial_Video_Generation
A TensorFlow Implementation of "Deep Multi-Scale Video Prediction Beyond Mean Square Error" by Mathieu, Couprie & LeCun.
xennygrimmato/CNU2016
xennygrimmato/codeforces-api
Tools for estimating problem difficulty, predictors rating trajectories, and tracking individual learning progress in algorithms.
xennygrimmato/django-spaghetti-and-meatballs
Its a spicy meatball for serving up fresh hot entity-relationship diagrams straight from your django models.
xennygrimmato/error-prone
Catch common Java mistakes as compile-time errors
xennygrimmato/evosuite
EvoSuite - automated generation of JUnit test suites for Java classes
xennygrimmato/findbugs
The new home of the FindBugs project
xennygrimmato/gsoc-inspector
JPF Inspector is a tool for debugging systems tested using the Java Pathfinder framework.
xennygrimmato/hacker-scripts
Based on a true story
xennygrimmato/Indicators-of-Compromise-IOC-Detector
A python script to query a local honeypot.json file for IoCs (give IPs, URLs, hashes, ports). Also queries external sources (VirusTotal, ISC) for current data on the given IOCs and returns the information to the user.
xennygrimmato/infer-plugin
Gradle plugin that allows easy integration with the infer static analyzer.
xennygrimmato/javapoet
A Java API for generating .java source files.
xennygrimmato/jdart
A dynamic symbolic analysis tool for Java
xennygrimmato/jql
Java code analysis and linting with SQL
xennygrimmato/neural-style
Torch implementation of neural style algorithm
xennygrimmato/ocaml-exercises
Simple OCaml programs
xennygrimmato/OkBuck
OkBuck is a gradle plugin, aiming to help developers utilize the fast build system: Buck, based on an existing project built using gradle. This plugin lets you have both build systems work side by side.
xennygrimmato/panda
xennygrimmato/pfff
Tools for code analysis, visualizations, or style-preserving source transformation.
xennygrimmato/pigz
A parallel implementation of gzip for modern multi-processor, multi-core machines.
xennygrimmato/ppx_show
Generic printer for OCaml
xennygrimmato/requests
Python HTTP Requests for Humans™
xennygrimmato/RiftSketch
An HTML5 live-coding environment based on WebVR
xennygrimmato/skypeopensource2
xennygrimmato/styleguide
Style guides for Google-originated open-source projects
xennygrimmato/Temp
xennygrimmato/typehinting
This is a work-in-progress repository for the draft of the Type Hinting PEP for Python 3.5.
xennygrimmato/whoop
automatic data race analysis for Linux device drivers