andrejbauer/marshall - GitHub Explorer | GitHub Explorer | Trending

Stars

129

Forks

14

Watchers

129

Open Issues

1

Repository Health Score

❤️

40/100

Poor

Overall repository health assessment

Score Breakdown

Activity

Inactive - no updates in 3+ months

0/30

0%

Recent Commits

Update README to specify that `num` is a prerequisite.

Andrej Bauer•3 years ago

c9f1f64View on GitHub

Update README.

Andrej Bauer•3 years ago

1e630b3View on GitHub

Remove `build-aux` stuff.

Andrej Bauer•3 years ago

6b9b154View on GitHub

Get rid of version numbering.

Andrej Bauer•3 years ago

c57b158View on GitHub

Remove obsolete configure files.

Andrej Bauer•3 years ago

34abe66View on GitHub

Adapt to dune and modern OCaml.

Andrej Bauer•3 years ago

74c16fdView on GitHub

Merge pull request #12 from bmsherman/newton_round

Andrej Bauer•6 years ago

7e30b54View on GitHub

Merge pull request #11 from bmsherman/pow_round

Andrej Bauer•6 years ago

5f4b55fView on GitHub

Fix Newton approximation rounding the wrong way

Ben Sherman•7 years ago

6d3ce58View on GitHub

Fix rounding error in interval power computation

Ben Sherman•7 years ago

196126fView on GitHub

Merge pull request #10 from bmsherman/tuple_eval

Andrej Bauer•7 years ago

201b278View on GitHub

Merge pull request #9 from bmsherman/alpha_rename

Andrej Bauer•7 years ago

e657d6dView on GitHub

Evaluate tuples in the correct order

Ben Sherman•7 years ago

fb44642View on GitHub

Make sure to alpha rename the binding for substituting an expression in the value of a lambda

Ben Sherman•7 years ago

0322eb6View on GitHub

Merge pull request #8 from bmsherman/print_prop

Andrej Bauer•8 years ago

af62c03View on GitHub

View all commits

GitHub Explorer

marshall

Score Breakdown

Issues Activity: Last 6 months

Hottest Issues