Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform.
Geographic restrictions, eligibility, and terms apply.
Get started with Nexo.
Our Free Plans just got better! | Auth0
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
aim is to provide support for monitoring system behaviour through dynamic analysis, and for analysing and modeling this data for a better understanding of system behaviour and for test automation
Java Decision Diagrams (BDD) libraries: JDD and JBDD
This project has been moved to bitbucket.org:
- https://bitbucket.org/vahidi/jbdd/wiki/Home
- https://bitbucket.org/vahidi/jdd/wiki/Home
It includes two libraries for working with decision diagrams:
- JBDD: a Java interface to two popular BDD libraries, CUDD and BuDDy
- JDD: a native Java library supporting BDD, Z-BDD
ECL is a system-level specification language for HW/SW designs and is based on Esterel and C.
The ECL compiler parses ECL, writes Esterel and C, and uses the Esterel compiler to produce an implementation.
Originally developed at Cadence Berkeley Labs.
Projeto para controle da porta paralela em Linux.
Este projeto pode ser utilizado como integrador em projetos de robotica ou automação industrial. Funciona na console e permite integração com diversas linguagens como java/php/c++ entre outras.
Software application, firmware and U.I. for 4-motors 3-axis milling machine, open hardware, software and mechanics. See also project in details for schematics and images on http://www.contesti.eu/opensource/xyz-dc-motor-controller
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. JTLV is a new tool aimed to facilitate and provide a unified framework to the development of formal verification algorithms.
Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure
Native application identity and user-based security for your Azure cloud
Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
A GUI comparison tool that automates diffs detection between versions. You can record and play scenarios on two different releases of the same app (in sequential or parallel mode); jDiffChaser compares both screens and shows you the differences.
xContract is suite of per-language libraries that provide facilities for defining and enforcing software contracts. Intended to be used, where desired, in release modes/builds, xContract emphasises efficiency in addition to clarity and succinctness.
The SESAME (Simulation of Embedded System Architectures for Multilevel Exploration) software system is an embedded system co-simulation environment and research tool which implements the ideas of the SESAME project at the University of Amsterdam.
Columbo reads source code in different languages like COBOL, JCL, CMD and transposes it to graphical views, measures and semantically equivalent texts based on xml. It also investigates into technical bugs.
A home automation software to control various X10 devices from your computer with CM11A and CM17A serial interfaces. This is a 100% java application with many features, such as monitoring events, speech, web interface, and swing GUI.
Spamlain is an aggressive and offensive solution to illegal unsolicited bulk email (spam) by exercising our right to complain. Using an anonymous p2p network, users will receive automated complaint scripts to complain directly to the source of spam.
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms.
Silicis is a new formal framework for designing [verification] algorithms.
QuarlSIM is a software suite of free open source Electronic Design Automation tools maintained and developed by student at Chalmers University. These tools are used for electrical circuit design, schematic capture, simulation, prototyping, and production
This profiler (JRE 1.5.0 only) uses JVMTI and native bytecode instrumentation for the analysis of the heap, reachable objects, execution time, garbage collection efficiency, code coverage and thread contention. No preparation steps required in build.
-----------------------------------
This project is no longer being actively maintained (it hasn't been worked on since around late 2006.
I am leaving what code is available.
If you wish to take over this project ...
Please send me a message on my profile
or email me at WilliamDeRieux@gmail.com.
You can also contact me on twitter: https://twitter.com/Neoh4x0r
and Google+: https://plus.google.com/+WilliamLDeRieuxIV/posts
-----------------------------------
This Project's Purpose is...
CCCC is a tool which analyzes C++ and Java files and generates a report
on various metrics of the code. Metrics supported include lines of code, McCabe's
complexity and metrics proposed by Chidamber&Kemerer and Henry&Kafura.
A service-oriented, single-source, Java integration server with virtual Service Stores(TM) that expose services via web services, HTTP and more. Service Flows provide process automation. Mainframe, database, email, web, soap & ftp adapters are included.