1
I Use This!
Activity Not Available
Analyzed over 1 year ago. based on code collected over 1 year ago.

Project Summary

A declarative logic programming system with first-class relations embedded in a pure functional subset of Scheme. The system has true unions, fair scheduling, lexically-scoped logical variables, set-theoretical semantics, high performance without cuts.

Tags

No tags have been added

In a Nutshell, KANREN...

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    anyone with an Open Hub account can update a project's tags
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    data presented on the Open Hub is available through our API

Languages

Languages?height=75&width=75
Scheme
89%
TeX/LaTeX
10%
2 Other
1%

30 Day Summary

Feb 2 2020 — Mar 3 2020

12 Month Summary

Mar 3 2019 — Mar 3 2020

Ratings

Be the first to rate this project
Click to add your rating
   Spinner
Review this Project!