The STAXX client installs in minutes and offers a simple wizard to configure your feeds. From there STAXX will download Indicators of Compromise (IOCs) on a scheduled basis. The client includes interactive dashboards and a powerful search engine. A free STAXX portal account provides full IOC details, including Geo-Location, WHOIS and Passive DNS. Easily export IOCs for internal use. STAXX is, and always will be, FREE.Sponsored Listing
OSI-Approved Open Source (132)
- GNU General Public License version 2.0 (73)
- GNU Library or Lesser General Public License version 2.0 (24)
- BSD License (16)
- MIT License (7)
- Artistic License (4)
- GNU General Public License version 3.0 (3)
- zlib/libpng License (3)
- Academic Free License (2)
- Apache Software License (2)
- Eclipse Public License (2)
- Mozilla Public License 1.1 (2)
- Adaptive Public License (1)
- Apache License V2.0 (1)
- GNU Library or Lesser General Public License version 3.0 (1)
- Qt Public License (1)
- Public Domain (8)
- Linux (139)
- Windows (108)
- Grouping and Descriptive Categories (107)
- Mac (96)
- BSD (55)
- Modern (46)
- Android (32)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
- Programming Language: Standard ML ×
This project proposes a tool for formal verification of web services composition based on Pi-calculus and the conversion between BPEL and pi-calculus. This tool integrates two kinds of formal verification techniques and can validate automatically.
Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...
aphasia is an advanced scripting language for the web. It features a type-safe core, C++ modules with signatures, an optimizing "compiler", higher-order functions, built-in database support, garbage collection, and more.
Dirfreak is a file organizational tool which catagorizes files using various methods, including file name, size, and date. Methods of sorting can be specified on either the command line or in a configuration file, allowing automation of the sorting task.
What is it:<br> ----------<br> A simulation of a very simplified aunts nest. <br> It is a restricted area (square) fullfill with aunts and rice.<br> Rice is first randomly positionned in the area and aunts will sort it in a unique batch. <br>
hazel aims to be a practical programming language for development of large software projects. Its application domain is similar to that of C++. Its syntax is similar to that of C.
mGTK is glue code to make GTK+ accessible from Standard ML. This provides a convenient way for SML programmers to add GUI features to applications. mGTK should work on all platforms where both Moscow ML and GTK+ are supported.
HOL4 mechanisation of Martelli and Montanari's paper on linear unification.
The aim of this project is to produce a software that will content two modules : - the first one will allow to conduct simulations of social behavior, - the second one will be able to produce philosophical considerations. The version version will be i
This is my first try at an OO AI script. Just a basic output, no 2d or 3d stuff. Just information. May become more down the road. If you modify the code. Let me know and if you want, upload the source in modular form to make this project better.
ruby's expressivity together with static typing
An advanced P2P API focusing on extensibility with intelligent discovery mechanism and satisfying the secure and efficiency requirements.
SwiftSurf is an HTTP proxy that lets you do a lot of things. You can spy, filter, and modify the HTTP requests that your browser sends, as well as the answers it receives. Some of its possible uses include filtering ads, limiting access to a specific doma
i intend to use this site to better myself in the area of music. i want to record my songs so that i have a way to remember them as well as share them with others
Webqueue is a native download manager for win32, similar to Go!Zilla or GetRight. However, webqueue is free, extensible, and supports scripting.
PHP/Mysql based Guild website portal for world of warcraft guilds. It will provide the guild with a place to maintain member information, professions, dkp, forums, raid planner / signups, guild bank items etc.
MyPhpMoney is a tool written in PHP to manage bank accounts thru a web interface. It uses mysql to store data and relies on PHPLIB (template, session and database abstraction).13 weekly downloads
A modern, full-fledged Point-of-Sale system created and extensible under the Mozilla framework. Targeting small to large businesses and enterprises, we aim to use open internet standards in creating a truly modern point of sale system.20 weekly downloads