Awesome Lean / Libraries
13Date & Time
4 entries
- Std.TimeDates, times, time zones and formatting in the core standard library.
- DateTimeISO 8601 date and time utilities.T-Brick/DateTime
- timelibDate and time library.ammkrn/timelib
- timePort of Haskell's
time library, with verified date calculations.bergmannjg/time