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/z3-floating-point-proofs
Automated Proofs about floating-point numbers using Z3 Theorem Prover
xennygrimmato/AadhaarSearchEngine
Find Aadhaar cards thanks to Google
xennygrimmato/ncc
Neural Code Comprehension: A Learnable Representation of Code Semantics
xennygrimmato/Algorithm-DataStructures
Implementations of Algorithms and Data Structures
xennygrimmato/algorithms
xennygrimmato/Apollo-11
Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
xennygrimmato/bi-att-flow
Bi-directional Attention Flow (BiDAF) network is a multi-stage hierarchical process that represents context at different levels of granularity and uses a bi-directional attention flow mechanism to achieve a query-aware context representation without early summarization.
xennygrimmato/c2ocaml
c2ocaml - a source-to-source transformer to take C files into OCaml files compatible with lsee (a lightweight symbolic execution engine)
xennygrimmato/code-docstring-corpus
Preprocessed Python functions and docstrings for automated code documentation (code2doc) and automated code generation (doc2code) tasks.
xennygrimmato/deepcoder
Deepcoder paper implementation
xennygrimmato/document-qa
xennygrimmato/DrQA
Reading Wikipedia to Answer Open-Domain Questions
xennygrimmato/Empire
Empire is a PowerShell and Python post-exploitation agent.
xennygrimmato/extractab
App for working with guitar tabs
xennygrimmato/gated-graph-neural-network-samples
Sample Code for Gated Graph Neural Networks
xennygrimmato/gplaycli
Google Play Downloader via Command line
xennygrimmato/jngen
Library for generating tests for olympiad problems
xennygrimmato/kactl
KTH ACM Contest Template Library (... eller KTHs AC-tillverkande lapp)
xennygrimmato/kdd-2018-hands-on-tutorials
Feature Extraction and Summarization with Sequence to Sequence Learning
xennygrimmato/loghub
A collection of system log datasets for massive log analysis
xennygrimmato/loglizer
A log analysis toolkit for automated anomaly detection
xennygrimmato/lsee
lsee - a lightweight symbolic execution engine written in OCaml
xennygrimmato/lstar_extraction
implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
xennygrimmato/openCypher
Specification of the Cypher property graph query language
xennygrimmato/program-synthesis
xennygrimmato/pyppeteer
Headless chrome/chromium automation library (unofficial port of puppeteer)
xennygrimmato/randoop
Automatic test generation for Java
xennygrimmato/sequoia
OCaml type-safe query builder with syntax tree extension
xennygrimmato/Spell
Auto extract key in log files
xennygrimmato/srnn