Tags : Browse Projects

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

Skeptik

Analyzed 4 months ago

Proof theory and automated deduction framework focused on proof compression techniques and implemented in Scala.

15.2K lines of code

0 current contributors

about 9 years since last commit

1 users on Open Hub

Activity Not Available

I Use This

Licenses: Creative_...

Analyzed 4 months ago

Application to show-case science problems and their solutions.

5.55K lines of code

0 current contributors

over 11 years since last commit

1 users on Open Hub

Activity Not Available

I Use This

Licenses: No declared licenses

Analyzed 4 months ago

Software Foundations in Idris

615 lines of code

1 current contributors

over 6 years since last commit

0 users on Open Hub

Activity Not Available

I Use This

Licenses: No declared licenses