|
|
JavaScript |
6 |
Converts TypeScript-like intersection types to JSDoc compatible union types, that is, from & -> | |
Apr 26, 2022 |
|
|
Emacs Lisp |
7 |
Racket-style higher-order contracts for Emacs Lisp |
May 19, 2022 |
|
|
Python |
6 |
Union Contracts |
May 09, 2022 |
|
|
Java |
49 |
Union, intersection, and set cardinality in loglog space |
Jan 12, 2023 |
|
|
OCaml |
7 |
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy |
Dec 18, 2022 |
|
|
OCaml |
7 |
A termination checker for higher-order rewriting with dependent types |
Jan 12, 2022 |
|
|
Kotlin |
67 |
Union types for Kotlin |
Aug 08, 2022 |
|
|
Dart |
81 |
Union types for dart |
Jul 14, 2022 |
|
|
JavaScript |
11 |
Smart Contracts for Union V1 |
Sep 21, 2022 |
|
|
Solidity |
2 |
Smart contracts for Union v2 |
Sep 10, 2023 |
|
|
JavaScript |
15 |
Allows Union, Difference, Xor, and Intersection operations on two polygons. |
Apr 15, 2023 |
|
|
Lua |
3 |
Boolean operations on polygons (union, intersection, difference, xor). |
May 16, 2022 |
|
|
Nim |
7 |
Boolean operations on polygons (union, intersection, difference, xor) |
Oct 07, 2022 |
|
|
JavaScript |
520 |
Boolean operations on polygons (union, intersection, difference, xor) |
May 21, 2023 |
|
|
JavaScript |
2 |
Boolean operations on polygons (union, intersection, difference, xor) |
Apr 23, 2020 |
|
|
None |
6 |
PHP RFC for pure intersection types |
Jul 05, 2021 |
|
|
Julia |
4 |
Perform boolean operations on solids in Julia - union, intersection and subtraction |
Oct 25, 2021 |
|
|
None |
2 |
higher order etc |
Aug 13, 2019 |
|
|
Haskell |
5 |
Higher-order Functors |
Oct 23, 2020 |
|
|
Objective-C |
7 |
Higher Order Messaging |
Sep 30, 2021 |
|
|
Python |
11 |
Tagged union types and immutable records (product types) in Python |
Aug 12, 2019 |
|
|
C++ |
11 |
Boolean operations (union, intersection, difference) on 3D Point Clouds |
Apr 18, 2022 |
|
|
TypeScript |
5 |
Deep union types with priority |
Apr 19, 2023 |
|
|
PHP |
27 |
Improved abstraction for dealing with union and named types. |
Aug 12, 2022 |
|
|
JavaScript |
10 |
Higher order components for authorization |
Feb 03, 2022 |
|
|
C++ |
483 |
Higher-order functions for c++ |
Aug 04, 2022 |
|
|
Go |
3 |
Higher order functions for Golang |
Feb 20, 2019 |
|
|
Shell |
14 |
Higher order functions for ZSH |
Sep 20, 2021 |
|
|
Perl |
128 |
Higher order functions for zsh |
Jul 20, 2022 |
|
|
JavaScript |
3 |
Higher-order Component for reflux |
Feb 07, 2023 |
|
|
JavaScript |
50 |
Higher order components for matchMedia |
Nov 13, 2022 |
|
|
Clojure |
115 |
Union Types (ADTs, sum types) built on clojure.spec |
Nov 03, 2022 |
|
|
HTML |
3 |
Pure Components and Higher Order Components |
Apr 14, 2020 |
|
|
Haskell |
32 |
open union and open product types in Haskell |
Oct 01, 2021 |
|
|
Python |
34 |
Unofficial Pytorch Implementation of GIoU:[CVPR2019]Generalized Intersection over Union |
Sep 06, 2022 |
|
|
C++ |
79 |
A C++ implement of intersection over union (IoU) ratio calculation. |
Apr 03, 2023 |
|
|
JavaScript |
40 |
Higher order iterator library for JavaScript and TypeScript. |
Aug 17, 2022 |
|
|
XQuery |
11 |
Higher-Order XQuery Modules |
Dec 21, 2021 |
|
|
Haskell |
3 |
Higher-order optimization library |
Dec 05, 2019 |
|
|
Assembly |
3 |
Higher-order masked Saber |
Aug 15, 2022 |
|
|
Haskell |
60 |
Higher-order optimization library |
Jul 22, 2022 |
|
|
Perl |
3 |
(Mojolicious) Higher order promises |
Sep 01, 2022 |
|
|
JavaScript |
9 |
Namespaced Higher Order Components |
May 08, 2016 |
|
|
Python |
9 |
Higher-Order Co-occurrence |
Feb 17, 2023 |
|
|
JavaScript |
2 |
Higher-order-array-methods |
Feb 06, 2023 |
|
|
JavaScript |
2 |
Higher-order-functions-lab |
Feb 06, 2023 |
|
|
JavaScript |
2 |
Harold Higher Order Prep |
Feb 06, 2023 |
|
|
PHP |
8 |
Higher-order functional predicates. |
Jul 27, 2020 |
|
|
Julia |
10 |
Higher-order clustering coefficients |
Jun 06, 2022 |
|
|
OCaml |
11 |
[wip] Proof format and checker for first-order and higher-order theorem provers |
Mar 29, 2023 |