Inductive

The model simulates single phase bridge rectifier with resistive and inductive load. simulation also demonstrate the role of free wheeling diode. Single phase pulse generator was developed to generate the pulses at required firing angle. Platforms: Matlab

PyMML is a Python package for statistical analysis and automatic classification of data. It implements a selection of the MML estimators described by Professor Chris Wallace in the book "Statistical and Inductive Inference by Minimum Message Length", including estimators for hidden factor... Platforms: *nix

HOL short from Higher Order Logic is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An oracle mechanism gives access to external programs such as SAT and... Platforms: *nix

Developed in the LogiCal project, the Coq tool is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: the definition of interactively evaluated functions or predicates, to state mathematical theorems and software... Platforms: Mac

Injection Wizard is an application for injecting traffic into WEP-protected Wi-Fi networks, like aireplay-ng, but it's much more easy to use and it can work with worse conditions (for example, more interferences, weaker transmitted/received signals, more restricted access points, etc). The higher... Platforms: *nix