idris-hackers/software-foundations - GitHub Explorer | GitHub Explorer | Trending

Stars

458

Forks

36

Watchers

458

Open Issues

15

Repository Health Score

🧡

56/100

Fair

Overall repository health assessment

Score Breakdown

Activity

Regular updates - updated this month

20/30

67%

Recent Commits

Merge pull request #56 from MarcelineVQ/church-unit-tests

Eric Bailey•6 years ago

03e178fView on GitHub

Merge pull request #57 from acarrico/patch-1

Eric Bailey•6 years ago

b8da38dView on GitHub

Adds missing arguments to Playground2.mult

Anthony Carrico•6 years ago

048d033View on GitHub

Change Church namespace unit tests

MarcelineVQ•7 years ago

4ef5ef2View on GitHub

Rework Nix Build

Eric Bailey•7 years ago

41b6038View on GitHub

prerequisites_macOS.md: fix permissions

Eric Bailey•7 years ago

121ff8aView on GitHub

Update {CONTRIBUTING,README}.md and rebuild doc/index.html

Eric Bailey•7 years ago

8276c22View on GitHub

ImpCEvalFun rebased (#52)

Eric Bailey•7 years ago

6beb72cView on GitHub

Monoid -> Iosevka

Eric Bailey•7 years ago

37f4b8bView on GitHub

Merge pull request #44 from idris-hackers/feature/fix-pdf

Eric Bailey•7 years ago

ffae2e3View on GitHub

Configure bare-bones Travis build

Eric Bailey•7 years ago

b38a117View on GitHub

Overhaul (Nix) build

Eric Bailey•7 years ago

2fd3c68View on GitHub

Adopt MIT license

Eric Bailey•7 years ago

044cf71View on GitHub

Imp: fix proofs

Eric Bailey•8 years ago

16f8188View on GitHub

Imp: fix link

Eric Bailey•8 years ago

0a03935View on GitHub

View all commits

GitHub Explorer

software-foundations

Score Breakdown

Issues Activity: Last 6 months

Top Labels

Hottest Issues