Alfa

I Use This!

Very Low Activity

Analyzed about 16 hours ago. based on code collected about 17 hours ago.

Project Summary

Alfa is a successor of the proof editor ALF, i.e., an editor for direct manipulation of proof objects in a logical framework based on Per Martin-Löf's Type Theory. It allows you to, interactively and incrementally, define theories (axioms and inference rules), formulate theorems and construct proofs of the theorems. All steps in the proof construction are immediately checked by the system and no erroneous proofs can be constructed.

Alternatively, you can view Alfa as a syntax-directed editor for a small purely functional programming language with a type system that provides dependent types. In fact, the language is very similar to the functional language Cayenne by Lennart Augustsson.

In a Nutshell, Alfa...

...
has had 946 commits made by 7 contributors
representing 10,101 lines of code
...
is mostly written in Haskell
with a low number of source code comments
...
has a well established, mature codebase
maintained by one developer
with stable Y-O-Y commits
...
took an estimated 3 years of effort (COCOMO model)
starting with its first commit in April, 1996
ending with its most recent commit 11 months ago

Quick Reference

Homepage

(2 Locations)

Project Security

Vulnerabilities per Version ( last 10 releases )

There are no reported vulnerabilities

Project Vulnerability Report

Security Confidence Index

Poor security track-record

Favorable security track-record

Vulnerability Exposure Index

Many reported vulnerabilities

Few reported vulnerabilities

About Project Vulnerability Report

Did You Know...

...
65% of companies leverage OSS to speed application development in 2016
...
compare projects before you chose one to use
...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
you can embed statistics from Open Hub on your site