|
HTML |
3 |
Kodi Portable Version |
Oct 22, 2022 |
|
Shell |
5 |
unofficial Kodi AppImage , Kodi stable version import from ppa repository |
Jun 08, 2022 |
|
Shell |
2 |
unofficial Kodi AppImage, Kodi Nightly version import from ppa repository |
Nov 12, 2019 |
|
Clojure |
128 |
Unification library |
Aug 17, 2022 |
|
None |
5 |
Kodi Skin AeonMQ6 Krypton version,from MarcosQui (Mod version Angelinas) |
Mar 08, 2018 |
|
C++ |
289 |
Fuzzing Unification Framework |
Aug 30, 2022 |
|
Haskell |
3 |
Haskell 98 Unification |
Dec 05, 2019 |
|
JavaScript |
3 |
Unification for JS |
Jul 11, 2019 |
|
Haskell |
3 |
Learning pattern unification |
Jul 16, 2020 |
|
JavaScript |
2 |
Boolean Unification Workbench |
Mar 04, 2024 |
|
None |
4 |
Moded version of Kodi skin AeonMQ6 by MarcosQui |
Mar 08, 2018 |
|
Haskell |
5 |
Simple generic unification algorithms |
Aug 09, 2020 |
|
Go |
3 |
Official Unification Mainchain implementation |
Feb 28, 2022 |
|
Java |
3 |
Aspect-Sentiment Unification Model |
Apr 30, 2020 |
|
JavaScript |
48 |
JUnify ― JavaScript Unification Library |
Apr 30, 2022 |
|
Haskell |
4 |
Matching and unification on TrieMaps |
Dec 05, 2019 |
|
Shell |
2 |
Scripts for the Unification Network |
Jun 07, 2020 |
|
None |
3 |
Notes for Sensor API unification |
Apr 01, 2017 |
|
Go |
21 |
Yet Another Efficient Unification Algorithm |
Aug 07, 2022 |
|
Python |
2 |
Proposal for Python Schema unification |
Aug 04, 2020 |
|
Coq |
3 |
Formalization of unification in Coq |
Aug 27, 2018 |
|
GLSL |
3 |
Shadertoy visualizer for Kodi: improved version for ODROID-C2 & RPi |
Jan 08, 2020 |
|
Haskell |
24 |
Generic unification-based type inference library |
Apr 01, 2023 |
|
Python |
2 |
Unification algorithm for list-based trees |
Sep 28, 2015 |
|
TypeScript |
2 |
Revolt Emoji Pack Structure Unification Toolchain |
Sep 18, 2022 |
|
Standard ML |
3 |
Simple unification for ABTs in SML |
Feb 25, 2016 |
|
C# |
2 |
Language Forge / Language Depot unification project |
Apr 26, 2023 |
|
Scheme |
3 |
Invent abstract functions using anti-unification. |
Feb 20, 2018 |
|
Python |
6 |
Unification proposal for Python 3 Futures |
Apr 11, 2022 |
|
Shell |
8 |
Kodi portage overlay with GIT ebuilds for Kodi, the Kodi platform lib and Kodi binary … |
Sep 15, 2019 |
|
Python |
18 |
Neural Unification for Logic Reasoning over Language |
Apr 29, 2022 |
|
Haskell |
163 |
A small implementation of higher-order unification |
Apr 03, 2023 |
|
Scala |
2 |
A library for Bounded Rigid E-Unification |
Feb 28, 2019 |
|
Haskell |
2 |
Simple E-unification for second-order syntax. |
Sep 10, 2022 |
|
Julia |
4 |
A unification of (hyper)graph model generation. |
Dec 14, 2022 |
|
TypeScript |
16 |
A Javascript and Typescript aimed to unification. |
Nov 10, 2023 |
|
Shell |
8 |
kodi - free |
Oct 27, 2021 |
|
None |
2 |
kodi list |
Jan 05, 2022 |
|
None |
512 |
kodi list |
Dec 01, 2022 |
|
Python |
6 |
WatchNixtoons2 Kodi |
Jan 31, 2023 |
|
Python |
2 |
KODI Repository |
Mar 01, 2023 |
|
None |
4 |
Kodi repository. |
Jul 20, 2023 |
|
HTML |
2 |
Unofficial Kodi Addons for the Kodi Media Center |
Apr 15, 2022 |
|
Python |
3 |
Develop, test and execute kodi addon's without Kodi |
Aug 31, 2020 |
|
Python |
4 |
Kodi Aeon MQ5 Skin for Kodi 18 (Leia) |
Nov 09, 2020 |
|
None |
64 |
FOEDUS: Fast Optimistic Engine for Data Unification Services |
May 04, 2022 |
|
Python |
2 |
ROS1 part for the Unification project in 2019. |
Dec 02, 2019 |
|
C |
4 |
An Efficient Unification Algorithm by Martelli and Montanari |
Apr 25, 2023 |
|
Python |
5 |
Kodi Reverse Shell |
Aug 22, 2022 |
|
Python |
9 |
Viaplay for Kodi |
Jul 03, 2022 |