0
I Use This!
Inactive

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
Apr 24, 2023 — Apr 24, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Upgrade libraries
newca12
as Olivier ROLAND
More... almost 5 years ago
Upgrade scalafmt
newca12
as Olivier ROLAND
More... almost 5 years ago
Add Ramsey implementation
newca12
as Olivier ROLAND
More... about 5 years ago
prop.ml port completed
newca12
as Olivier ROLAND
More... about 5 years ago
Unicode arrows are deprecated in Scala 2.13
newca12
as Olivier ROLAND
More... about 5 years ago
Add link to Swift implementation
newca12
as Olivier ROLAND
More... about 5 years ago
Unicode arrows are deprecated in Scala 2.13
newca12
as Olivier ROLAND
More... about 5 years ago
Fix pretty printer issue with Jupyter
newca12
as Olivier ROLAND
More... about 5 years ago
Upgrade to Fastparse 2
newca12
as Olivier ROLAND
More... over 5 years ago
Use Markdown syntax to fit github preview
newca12
as Olivier ROLAND
More... over 6 years ago
Examples available as Jupyter notebooks
newca12
as Olivier ROLAND
More... over 6 years ago
Multivariable Lambda Calculus in the Scala Type System
newca12
as Olivier ROLAND
More... about 7 years ago
Update Scalafmt
newca12
as Olivier ROLAND
More... about 7 years ago
Switch to Scalafmt
newca12
as Olivier ROLAND
More... over 7 years ago
[CI] Add coverageAggregate
newca12
as Olivier ROLAND
More... over 7 years ago
Upgrade to Scala 2.12
newca12
as Olivier ROLAND
More... over 7 years ago
Fix removed external repository
newca12
as Olivier ROLAND
More... over 7 years ago
Upgrade to FastParse 0.3.4
newca12
as Olivier ROLAND
More... over 8 years ago
Fastparse : simplify
newca12
as Olivier ROLAND
More... almost 9 years ago
Fastparse whitespace handling
newca12
as Olivier ROLAND
More... almost 9 years ago
Unit tests for Scala Standard Parser Combinator
newca12
as Olivier ROLAND
More... almost 9 years ago
Unit tests for FastParse
newca12
as Olivier ROLAND
More... almost 9 years ago
FastParse : the new kid on the block
newca12
as Olivier ROLAND
More... almost 9 years ago
Add more restrictive compilation parameters
newca12
as Olivier ROLAND
More... almost 9 years ago
Oups, that was REALLY wrong
newca12
as Olivier ROLAND
More... almost 9 years ago
Libraries update and move to Scalatest
newca12
as Olivier ROLAND
More... about 9 years ago
Test if CoverallsPlugin.singleProject is required
newca12
as Olivier ROLAND
More... about 9 years ago
Upgrade to Scala 2.11.5
newca12
as Olivier ROLAND
More... about 9 years ago
Try to fix coveralls report (again)
newca12
as Olivier ROLAND
More... over 9 years ago
Libraries update and cleanup
newca12
as Olivier ROLAND
More... over 9 years ago