wasowski Goto Github PK

androguard

Reverse engineering, Malware and goodware analysis of Android applications ... and more (ninja !)

behaviortree.cpp

Behavior Trees Library in C++. Batteries included.

caco

Cash Command - personal finance management

chapters

Perspectives on Data Science for Software Engineering

clafer-vim

integration of clafer modeling language into vim

claferconfigurator

An interactive, web-based, configurator for Clafer models.

code

Source code for the book Rust in Action

dissecting-reinforcement-learning

Python code, PDFs and resources for the series of posts on Reinforcement Learning which I published on my personal blog

doing_bayesian_data_analysis

Python/PyMC3 versions of the programs described in Doing bayesian data analysis by John K. Kruschke

eba-cil

Latest CIL development version with EBA-specific additions.

eba-development

EBA is a static bug finder for C.

erbarme-dich

Erbarme dich mein gott from St. Matthew's Passion by JS Bach, for solo guitar

feature-model-synthesis

figaro

Figaro Programming Language and Core Libraries

fm-schema

a proposal for JSON/YAML schema for feature models

geometry2_167

(don't use this, a test case development repo)

gradle-dotnet-plugin

Gradle wrapper to the dotnet binary

haros

H(igh) A(ssurance) ROS - Static analysis of ROS application code.

jcute

Java Concolic Unit Testing Engine

kobuki

Software for iClebo Kobuki

marlin

Reprap FW with look ahead. SDcard and LCD support. It works on Gen6, Ultimaker, RAMPS and Sanguinololu

marlin-mining

monocle

Optics library for Scala

nmf

This repository contains the entire code for the .NET Modeling Framework

py_trees

Python implementation of behaviour trees.

pyecore

A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)

ros-aseba

Bridge to access an ASEBA network from ROS

rosdistro

This repo maintains a lists of repositories for each ROS distribution

rx_ros

Reactive programming for ROS

scalacheck

Property-based testing for Scala