|
Coq |
22 |
Coq utility and tactic library. |
Nov 20, 2022 |
|
Go |
6 |
Utility functions for use within Helm plugins |
Jul 21, 2022 |
|
Coq |
39 |
Library to create Coq record update functions |
Apr 26, 2023 |
|
JavaScript |
88 |
Utility Library for Homebridge Plugins |
Jun 02, 2022 |
|
VimL |
7 |
A comprehensive Vim utility functions for Vim plugins |
Sep 23, 2018 |
|
Vim script |
549 |
A comprehensive Vim utility functions for Vim plugins |
Aug 10, 2022 |
|
VimL |
2 |
A comprehensive Vim utility functions for Vim plugins |
Aug 13, 2019 |
|
VimL |
3 |
A comprehensive Vim utility functions for Vim plugins |
Aug 13, 2019 |
|
C |
2 |
Stata utility functions for writing plugins in C |
Aug 24, 2021 |
|
PHP |
15 |
Provides utility functions for templating functionality in plugins. |
Nov 26, 2022 |
|
VimL |
2 |
A comprehensive Vim utility functions for Vim plugins |
Jun 23, 2017 |
|
Go |
251 |
A collection of useful utility functions |
Aug 12, 2022 |
|
JavaScript |
2 |
React set of useful utility functions |
Jul 11, 2020 |
|
Erlang |
3 |
A collection of useful utility functions. |
Mar 21, 2016 |
|
JavaScript |
9 |
Utility functions for building Babel plugins for React code |
Aug 18, 2019 |
|
Python |
2 |
Useful utility functions for data analysis with Python. |
Jan 10, 2019 |
|
JavaScript |
282 |
An collection of useful utility functions for DraftJS. |
Apr 14, 2023 |
|
TypeScript |
5 |
Utility functions to test Webpack loaders/plugins |
Nov 27, 2021 |
|
Coq |
153 |
A library for formalizing Haskell types and functions in Coq |
Apr 14, 2022 |
|
JavaScript |
2 |
Utility functions for ILP plugins using XRP payment channels. |
Jun 06, 2019 |
|
C# |
2 |
Library with useful functions. |
Nov 03, 2022 |
|
Python |
2 |
Python library for useful astrodynamics functions |
Jan 28, 2023 |
|
Python |
3 |
Utility functions for python-docx library |
Aug 08, 2021 |
|
Clojure |
18 |
Library of utility functions for clojure |
Apr 06, 2022 |
|
Go |
2 |
Golang library for SNES utility functions |
Jan 07, 2023 |
|
Python |
2 |
Utility functions for file management, useful for the Cashaback Lab |
Aug 10, 2022 |
|
Kotlin |
3 |
A Kotlin utility library for minecraft plugins. |
Feb 22, 2023 |
|
Scala |
9 |
A collection of useful utility classes and functions. |
Jun 08, 2022 |
|
Go |
3 |
A collection of various useful utility functions for Golang applications |
Aug 10, 2022 |
|
C |
2 |
C library for useful radio interferometric functions |
Mar 15, 2022 |
|
Python |
3 |
Library of useful helper functions for fabric |
Oct 26, 2015 |
|
JavaScript |
2 |
Add some useful functions [Library For javascript] |
Mar 04, 2023 |
|
Coq |
31 |
Library for Classical Coq |
Jun 01, 2023 |
|
Groovy |
9 |
A set of plugins for gradle containing utility functions and more |
Jan 18, 2023 |
|
Coq |
5 |
some Coq tactics I've found useful |
Jan 29, 2019 |
|
Coq |
6 |
Various useful scripts for dealing with Coq files |
Nov 14, 2022 |
|
TypeScript |
5 |
A useful collection of optimized utility functions for JavaScript and TypeScript |
Apr 07, 2022 |
|
Java |
6 |
Parrt's Java library with useful functions |
May 07, 2022 |
|
Shell |
14 |
A library with useful Bash functions |
Sep 26, 2022 |
|
Coq |
4 |
Tactics, utility lemmas, and relation combinators for Coq |
May 09, 2016 |
|
HTML |
2 |
PluginLibrary for MyBB. A collection of useful functions used by other plugins. |
Mar 24, 2022 |
|
Coq |
4 |
Separation logic library for Coq |
Mar 28, 2023 |
|
JavaScript |
2 |
useful plugins for wire.js |
Jun 20, 2017 |
|
Rust |
2 |
Utility functions for Rust's date time library chrono |
Jun 20, 2022 |
|
None |
3 |
Library of utility functions for Wavemetrics' Igor Pro |
Feb 04, 2022 |
|
Python |
35 |
Utility functions for Python's multiprocessing standard library module |
Aug 25, 2021 |
|
C++ |
22 |
Utility library for creating OpenToonz FX plugins using OpenCV |
Mar 31, 2022 |
|
JavaScript |
22 |
Utility functions that are useful in async/await tests :thumbsup: |
Jan 11, 2022 |
|
Python |
60 |
Useful Odoo scripts and utility functions, based on click-odoo |
Aug 04, 2022 |
|
C# |
19 |
.NET support library with useful utility methods |
Apr 16, 2023 |