Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

OpenIAM Identity and Access Governance

Compare

  Analyzed about 2 months ago

OpenIAM's Identity and Access Manager provides a comprehensive Identity and Access Management solution which allows organizations to to manage the full user life cycle. Features includes: User provisioning and de-provisioning, active synchronization, access review, certification, workflow, password ... [More] management, audit, self service and delegated administration and single-sign-on. Community edition includes connectors for LDAP, Active Directory, Google Apps and Relational Databases and linux servers [Less]

411K lines of code

0 current contributors

almost 3 years since last commit

3 users on Open Hub

Activity Not Available
5.0
 
I Use This

Oracle Apps Technical Online Training With Professionals in USA,UK,...

Compare

  No analysis available

oracle applications are ERP package.The key features of the entire oracle application module is data integration. Master data is integrated:All the applications share common files of customers,suppliers,employees,items and other are used by multiple applications. Keen technologies is providing ... [More] oracle apps technical online training course by excellent experienced IT professionals. [Less]

0 lines of code

0 current contributors

0 since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: No declared licenses

pangolin-ml

Compare

  No analysis available

Here is a piece of software related to the paper: Extended Static Checking of Functional Programs We present a Hoare logic for a programming language equipped with recursive, higher-order functions, algebraic data types, and a polymorphic type system in the style of Hindley and Milner. It is the ... [More] theoretical basis for a tool that extracts proof obligations out of programs annotated with logical assertions. These proof obligations, expressed in a typed, higher-order logic, are discharged using off-the-shelf automated or interactive theorem provers. Although the technical apparatus that we exploit is by now standard, its application to functional programming languages appears to be new, and (we claim) deserves attention. As a sample application, we check the partial correctness of a balanced binary search tree implementation. [Less]

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: gpl

scwcd

Compare

  No analysis available

Casos de Estudo Certificacao Web Component.

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: apache_2

ODNC Study Group

Compare

  No analysis available

Throughout the year, the ODNC will work with its members to host various Microsoft certification (MCTS) study groups. In participating, study group members are responsible for submitting their sample code here so other's can learn by example.

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: No declared licenses

Offline iHRIS

Compare

  Analyzed 20 days ago

Run a single instance of iHRIS Manage and Qualify on a Windows XP computer without requiring a server or Internet connection

2.63K lines of code

0 current contributors

over 11 years since last commit

0 users on Open Hub

Inactive
0.0
 
I Use This

Caucase

Compare

Claimed by nexedi Analyzed about 2 months ago

Caucase is a tool to automate certificate issuance and renewal without constraints regarding certificate usage. For example, there is no assumption that the certificate will be used to secure HTTP, nor to serve anything at all: you may need certificates to authenticate users, or sign your mails, or ... [More] secure an SQL server socket. To allow certificates to be used, Caucase uses itself to authenticate users (humans or otherwise) who implement the validation procedure: they tell Caucase what certificates to emit. Once done, any certificate can be prolonged via a simple request of the key holder while the to-renew certificate is still valid (not expired, not revoked). [Less]

6.94K lines of code

0 current contributors

over 1 year since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This

iHRIS Qualify

Compare

  Analyzed about 2 months ago

iHRIS Qualify is a health worker training, licensing and certification tracking system. The system enables a licensing or certification authority for a health worker cadre, such as nurses or physicians, to track data on the complete cadre in a country from pre-service training through attrition. ... [More] This system is also capable of tracking continuing medical education attained by health workers, capturing data about foreign-trained workers applying to work within the country and recording out migration verification requests. iHRIS Qualify is developed by The Capacity Project, an innovative global initiative to help developing countries build and sustain the health workforce. [Less]

241K lines of code

0 current contributors

about 2 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This