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/stl4py
xennygrimmato/Insomnihack-Teaser-2017
Write-ups for insomnihack teaser 2017
xennygrimmato/keras-quora-question-pairs
A Keras model that addresses the Quora Question Pairs dyadic prediction task.
xennygrimmato/reason
A meta language toolchain to build systems rapidly
xennygrimmato/awesome-kubernetes
A curated list for awesome kubernetes sources :ship::tada:
xennygrimmato/barf-project
BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework
xennygrimmato/castnow
commandline chromecast player
xennygrimmato/checkmate
Checkmate - A simple yet powerful meta code-checker with support for multiple languages.
xennygrimmato/claripy
An abstraction layer for constraint solvers
xennygrimmato/dafny
Dafny is a verification-aware programming language
xennygrimmato/faiss
A library for efficient similarity search and clustering of dense vectors.
xennygrimmato/gid-get-it-done
TODO manager [ No BS ].
xennygrimmato/gumtree
A neat code differencing tool
xennygrimmato/HoloToolkit-Unity
This is effectively part of the existing HoloToolkit, but is the repo that will contain all Unity specific components.
xennygrimmato/htyt
Hyper plugin to search and play youtube videos
xennygrimmato/infer
A static analyzer for Java, C and Objective-C
xennygrimmato/IntruderPayloads
A collection of Burpsuite Intruder payloads, fuzz lists and file uploads
xennygrimmato/jdoop
A testing tool for Java libraries
xennygrimmato/localstack
A fully functional local AWS cloud stack. Develop and test your cloud apps offline!
xennygrimmato/MI-MVI_2016
Semestral project for the subject Methods of computational inteligence @ fit.cvut.cz
xennygrimmato/Microsoft-Translator-Python-API
xennygrimmato/ocaml99
Solutions to 99 problems solved in OCaml
xennygrimmato/pwntools
CTF framework and exploit development library
xennygrimmato/pyflame
Pyflame: A Ptracing Profiler For Python
xennygrimmato/python-language-server
An implementation of the Language Server Protocol for Python
xennygrimmato/RAHFT
RAHFT: A tool for verifying Horn clauses using abstract interpretation and finite tree automata
xennygrimmato/react-native-express
Interactive tutorials for React Native beginners
xennygrimmato/reason-react-example
xennygrimmato/schedule
Python job scheduling for humans.
xennygrimmato/tardis
TARDIS - Temperature And Radiative Diffusion In Supernovae