Select a tag to browse associated projects and drill deeper into the tag cloud.
ChronoJump
C
No analysis available
ChronoJump is a complete multiplatform system for measurement, management and statistics of jump time events (contact time, flight time), and other actions.
ChronoJump uses a contact platform suitable for two events (in-platform, out-platform), and also a chronometer printed circuit designed
Mostly written in language not available
Licenses:
gpl
Interval Container Library (ICL)
I
No analysis available
Interval Container Library (ICL): An STL based generic library for computations on intervals, interval containers and cubes
NOTE: The generated code analysis is misleading. The active sourcecode moved from sourceforge to Boost. Sourceforge serves as download prlatform mostly.
Mostly written in language not available
Licenses:
No declared licenses
Interval Package for Coq
I
No analysis available
This library provides vernacular files containing tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.
Mostly written in language not available
Licenses:
lgpl21
Time4J
T
Analyzed 11 months ago
Advanced date, time and interval library for Java
Main focus on extending/improving java.time with
- many additional calendars,
- built-in internationalization based on CLDR-data,
- high-performance format and parse engine,
- duration formatting (pattern-based or localized),
-
Licenses:
No declared licenses