|
Python |
5 |
Work with intervals and deadlines in milliseconds |
Jun 29, 2022 |
|
Python |
3 |
Record your internet speed at fixed intervals. |
Jun 16, 2020 |
|
Agda |
19 |
A dependently typed type checker for a TT with intervals |
Apr 11, 2022 |
|
C |
6 |
C extension module implementing an interval type and relations for Allen's Interval Algebra |
Aug 29, 2021 |
|
C |
2 |
A C library to work with music intervals, (tonal) pitches, and transpositions |
Dec 14, 2021 |
|
Elixir |
9 |
Some structs and functions to work with dates, times, periods, and intervals. |
Mar 17, 2023 |
|
JavaScript |
4 |
A data structure that allows efficiently to find all intervals that overlap with any given … |
May 09, 2017 |
|
Apex |
2 |
Record Type utility class enabling quick, efficient retrieval of RecordTypeId from SObject name and a … |
May 06, 2024 |
|
Raku |
2 |
A basic record type for Raku |
Mar 08, 2022 |
|
Python |
9 |
Tools to work with pytrees. |
May 11, 2022 |
|
Jupyter Notebook |
2 |
Tools to work with kerchunk |
Sep 22, 2023 |
|
Vue |
15 |
Tools to record times. |
May 04, 2022 |
|
Python |
3 |
This is a interval type 2 fuzzy library in python |
Jul 11, 2020 |
|
Ruby |
15 |
Add MySQL geometry type to Active Record. |
Apr 06, 2023 |
|
PHP |
3 |
Generate tag fields for every record type |
Feb 08, 2022 |
|
Python |
105 |
Python tools for handling intervals (ranges of comparable objects). |
Mar 26, 2023 |
|
Swift |
55 |
Tools for happier work with NSWindow |
Mar 16, 2023 |
|
Python |
2 |
Tools to work with Gadget snapshot. |
May 10, 2023 |
|
C |
38 |
Tools work with BGI VN engine |
Apr 23, 2023 |
|
Java |
2 |
Some tools to work with SWT |
Jun 30, 2022 |
|
Jupyter Notebook |
4 |
Some tools to work with ASCL |
Oct 09, 2022 |
|
C# |
2 |
Tools to work with the MegaTagmension |
Feb 22, 2023 |
|
Vim script |
3 |
Docker setup with common work tools |
Sep 10, 2019 |
|
Python |
19 |
Tools to work with vulnerability standards. |
Jan 28, 2023 |
|
JavaScript |
2 |
Various tools that work with Bitcoin |
Jun 09, 2018 |
|
JavaScript |
8 |
Tools to record webvr experiences |
Jan 03, 2019 |
|
Python |
2 |
A interval package for Python which deals with interval arithmetic |
Jul 03, 2019 |
|
JavaScript |
2 |
Time intervals with algebraic operations |
Mar 04, 2023 |
|
Python |
3 |
Type *whispering* Tools |
Jan 28, 2023 |
|
OCaml |
7 |
Minimal core language based on dependent function type, dependent pair type, recursive type, sum type … |
Feb 19, 2023 |
|
Python |
2 |
These python tools allow users to compute and/or plot CDFs with confidence intervals. |
Feb 27, 2022 |
|
Kotlin |
168 |
Type-safe library for work with Telegram Bot API |
Aug 29, 2022 |
|
Haskell |
5 |
Type-indexed maps, or a lightweight record library |
Jan 05, 2022 |
|
Java |
5 |
Gson type adapter factory for Java Record classes. |
Jul 30, 2022 |
|
R |
4 |
Tools to Work with Brim and zqd |
Mar 01, 2021 |
|
Go |
2 |
Tools to work with containerized Uyuni server |
Apr 13, 2023 |
|
R |
2 |
Tools to Work with the Raindrop API |
Jan 11, 2021 |
|
Python |
2 |
Extra tools to work with django-reversion |
Oct 05, 2015 |
|
JavaScript |
31 |
tools to work with a virtual dom |
May 18, 2020 |
|
R |
3 |
Various tools to work with BXD mice |
Jan 27, 2023 |
|
Scala |
3 |
Tools to work with akka distributed data |
Apr 16, 2022 |
|
C |
5 |
Some python tools to work with healpix |
Aug 11, 2020 |
|
C |
130 |
Tools to work with Android boot images |
May 11, 2023 |
|
Shell |
2 |
tools to work with Vicon Revue 3MP |
Mar 09, 2021 |
|
Java |
2 |
Different tools to work with Apollo blockchain |
Dec 25, 2021 |
|
Python |
6 |
Tools to work with Cesium Javascript globe. |
Jun 08, 2019 |
|
Python |
6 |
Tools to work with catkinized rosdistro files |
Apr 28, 2023 |
|
Python |
11 |
Prediction Intervals with specific value prediction |
Apr 28, 2022 |
|
Elixir |
57 |
Functions for working with calendar intervals |
Feb 11, 2021 |
|
Java |
3 |
Simple auto-clicker with randomized intervals |
May 15, 2023 |