The book shows you how architecting a modern security visibility infrastructure can help your business adapt to new threats, lengthen the usefulness of your current security investments, and optimize uptime and availability. See the entire threat landscape, understand security visibility basics, support both inline and out-of-band security systems, explore security visibility use cases and ask the right questions about visibility.Sponsored Listing
OSI-Approved Open Source (12)
- GNU General Public License version 2.0 (8)
- BSD License (4)
- GNU Library or Lesser General Public License version 2.0 (2)
- Academic Free License (1)
- Artistic License (1)
- Common Development and Distribution License (1)
- Educational Community License, Version 2.0 (1)
- Fair License (1)
- GNU General Public License version 3.0 (1)
- Linux (12)
- Grouping and Descriptive Categories (10)
- Windows (9)
- Mac (7)
- Modern (7)
- BSD (4)
- Android (1)
- Embedded Operating Systems (1)
- Programming Language: OCaml (Objective Caml) ×
A Genetic Programming library that uses System F, a polymorphically typed lambda calculus to represent genotypes. System F is very expressive and allows the native representation of all common programming structures and of recursive structures.
A collection of machine-checkend mathematical proofs2 weekly downloads
GyaanOS is a GNU/Linux desktop distribution specially designed for Technology Students- has everything a student of Computer Science, IT, Electronics or Telecom will ever need. GyaanOS is For The Students and By The Students. By:Laksh & Tanmaya
ThousandEyes extends visibility across corporate networks as well as the public Internet, helping to solve issues from the branch through MPLS links and SIP trunks to service provider networks. Simulate pre-deployment capacity, monitor detailed performance metrics and see how QoS settings impact call quality.Sponsored Listing
The project is to develop an application for the general management of virtual networks with Dynamips, VirtualBox, PixEmulator, UML, Zebra, etc.
McCarthy is an interpreter for a simple, first-order functional programming language which is Turing-complete and can be used as a model of computation.
Autononous mobile robot programming environment for Robotino.
POESIA= Public Opensource Environment for a Safer Internet Access an opensource Internet content filter (multimodal, mulitlingual) aimed for protection of youth (in schools...); partly funded by the European Commission
SPEmatic is an interpreter for SPE-style string-rewrite rules meant for use by students and instructors in introductory courses on phonological theory (a subfield of linguistics that deals with how sounds function in the grammars of natural languages).
With Infoblox DDI, your IT teams can consolidate DNS, DHCP, IP address management, & other core network services into a single platform. Orchestrate DDI functions for hybrid & public cloud & virtual & private cloud environments and access rich reporting & analytics capabilities for capacity planning, asset management, compliance control, & auditing. Boost IT efficiency & automation with seamless RESTful API integration.Sponsored Listing
Toss is a program which allows to explore the use of logic and terms in various models. On the static side, you can draw graphs and check their properties, axioms and reductions. Then, on the dynamic side, you can model multi-player games with both discrete and continuous dynamics. You can play the games, generate strategies automatically and analyse possible behaviours with respect to various logic formulas.1 weekly downloads
ocaml library/module to write mathematics in a web page (forum, blog), that support cgi scripts
COmbinatory LOgic BOlogna is a framework to test and develop Combinatory Logic based languages. It works, obviously, also for the K,S,I, Combinatory Logic.1 weekly downloads
The Virtual Laboratory for Earth and Planetary Materials (VLab) collaborative GRID-based environment. Concentrating on scientific computation workflows and auto-generation of visualization services. http://vlab.msi.umn.edu