leima's repositories
bazel
Correct, reproducible, and fast builds for everyone.
CommNet
Neural network model, suitable for multi-agent learning. https://arxiv.org/abs/1605.07736
DataGenerators.jl
DataGenerators is a data generation package. It can use techniques for search and optimization to find effective data for uses such as testing.
DeepLearningBook
MIT Deep Learning Book in PDF format
djinni
A tool for generating cross-language type declarations and interface bindings.
dna-lstm-imputer
A long short-term memory (LSTM) recurrent neural network (RNN) for DNA character prediction
fitnesse
FitNesse -- The Acceptance Test Wiki
gym-adv
Gym environments modified with adversarial agents
homepage
personal hompage
icsme2017.github.io
The official website for ICSME2017
immutability-benchmark
A microbenchmark for assessing the accuracy of immutability analyses
immutability-toolbox
A toolbox for experimenting with immutability analysis
javaplex
Persistent Homology and Topological Data Analysis Library
jcunit
A Combinatorial Testing + Model-based Testing framework on top of Java+JUnit. Model your application as code and let JCUnit do the rest.
KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
klee
KLEE Symbolic Virtual Machine
metaflow-ai.github.io
Official website
MG-RAST
metagenomic analysis server site code
mut-learn
Mutation-based implementation of a random equivalence testing strategy for active automata learning
Nvidia-Autopilot-Keras
Keras Implementation of End to End Learning for Self-Driving Cars by (Baris Kayalibay, Grady Jensen, Patrick van der Smagt)
overcoming-catastrophic
Implementation of "Overcoming catastrophic forgetting in neural networks" in Tensorflow
resource_awesome_deep_learning
Deep Learning and deep reinforcement learning research papers and some codes
revapi
Revapi is an API analysis and change tracking tool written in Java. Its focus is mainly on Java language itself but it has been specifically designed to not be limited to just Java. API is much more than just java classes - also various configuration files, schemas, etc. can contribute to it and users can become reliant on them.
sodium
Sodium - Functional Reactive Programming (FRP) Library for multiple languages
tensorflow_profiling
Scripts with example usage of tensorflow profiler
TF-Genetic
Evolutionary Neural Networks backed by TensorFlow and pure Python
tool_lists
Links to tools by subject
urbansim
New version of UrbanSim, a platform for modeling metropolitan real estate markets